10. CP 2004:
Toronto,
Canada
Mark Wallace (Ed.):
Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings.
Lecture Notes in Computer Science 3258 Springer 2004, ISBN 3-540-23241-9 BibTeX
Invited Papers
Distinguished Papers
Full Papers
- Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Propagation as a Proof System.
77-91
Electronic Edition (link) BibTeX
- J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski:
Backtrack-Free Search for Real-Time Constraint Satisfaction.
92-106
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Mats Carlsson, Thierry Petit:
Deriving Filtering Algorithms from Constraint Checkers.
107-122
Electronic Edition (link) BibTeX
- Christian Bessière, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan:
Leveraging the Learning Power of Examples in Automated Constraint Acquisition.
123-137
Electronic Edition (link) BibTeX
- Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.
138-152
Electronic Edition (link) BibTeX
- Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet:
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
153-167
Electronic Edition (link) BibTeX
- Hubie Chen:
Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.
168-181
Electronic Edition (link) BibTeX
- Hubie Chen, Víctor Dalmau:
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.
182-196
Electronic Edition (link) BibTeX
- Vincent A. Cicirello, Stephen F. Smith:
Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory.
197-211
Electronic Edition (link) BibTeX
- David A. Cohen, Martin C. Cooper, Peter Jeavons:
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.
212-226
Electronic Edition (link) BibTeX
- Pierre Flener, Justin Pearson, Luis G. Reyna:
Financial Portfolio Optimisation.
227-241
Electronic Edition (link) BibTeX
- Jeremy Frank:
Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact.
242-259
Electronic Edition (link) BibTeX
- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning.
260-273
Electronic Edition (link) BibTeX
- Carla P. Gomes, Meinolf Sellmann:
Streamlined Constraint Reasoning.
274-289
Electronic Edition (link) BibTeX
- Lars Hellsten, Gilles Pesant, Peter van Beek:
A Domain Consistency Algorithm for the Stretch Constraint.
290-304
Electronic Edition (link) BibTeX
- John N. Hooker:
A Hybrid Method for Planning and Scheduling.
305-316
Electronic Edition (link) BibTeX
- Kalev Kask, Rina Dechter, Vibhav Gogate:
Counting-Based Look-Ahead Schemes for Constraint Satisfaction.
317-331
Electronic Edition (link) BibTeX
- András Kovács, József Váncza:
Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling.
332-346
Electronic Edition (link) BibTeX
- Vitaly Lagoon, Peter J. Stuckey:
Set Domain Propagation Using ROBDDs.
347-361
Electronic Edition (link) BibTeX
- Yat Chiu Law, Jimmy Ho-Man Lee:
Global Constraints for Integer and Set Value Precedence.
362-376
Electronic Edition (link) BibTeX
- Lucian Leahu, Carla P. Gomes:
Quality of LP-Based Approximations for Highly Combinatorial Problems.
377-392
Electronic Edition (link) BibTeX
- Nikos Mamoulis, Kostas Stergiou:
Constraint Satisfaction in Semi-structured Data Graphs.
393-407
Electronic Edition (link) BibTeX
- Paul H. Morris, Robert A. Morris, Lina Khatib, Sailesh Ramakrishnan, Andrew Bachmann:
Strategies for Global Optimization of Temporal Preferences.
408-422
Electronic Edition (link) BibTeX
- Bertrand Neveu, Gilles Trombettoni, Fred Glover:
ID Walk: A Candidate List Strategy with a Simple Diversification Device.
423-437
Electronic Edition (link) BibTeX
- Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham:
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.
438-452
Electronic Edition (link) BibTeX
- Guoqiang Pan, Moshe Y. Vardi:
Symbolic Decision Procedures for QBF.
453-467
Electronic Edition (link) BibTeX
- Laurent Perron, Paul Shaw, Vincent Furnon:
Propagation Guided Large Neighborhood Search.
468-481
Electronic Edition (link) BibTeX
- Gilles Pesant:
A Regular Language Membership Constraint for Finite Sequences of Variables.
482-495
Electronic Edition (link) BibTeX
- Nicola Policella, Angelo Oddi, Stephen F. Smith, Amedeo Cesta:
Generating Robust Partial Order Schedules.
496-511
Electronic Edition (link) BibTeX
- Steven David Prestwich:
Full Dynamic Substitutability by SAT Encoding.
512-526
Electronic Edition (link) BibTeX
- Jean-Francois Puget:
Improved Bound Computation in Presence of Several Clique Constraints.
527-541
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski:
Improved Algorithms for the Global Cardinality Constraint.
542-556
Electronic Edition (link) BibTeX
- Philippe Refalo:
Impact-Based Search Strategies for Constraint Programming.
557-571
Electronic Edition (link) BibTeX
- Jean-Charles Régin, Carla P. Gomes:
The Cardinality Matrix Constraint.
572-587
Electronic Edition (link) BibTeX
- Francesca Rossi, Kristen Brent Venable, Neil Yorke-Smith:
Controllability of Soft Temporal Constraint Problems.
588-603
Electronic Edition (link) BibTeX
- Andrew Sadler, Carmen Gervet:
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries.
604-618
Electronic Edition (link) BibTeX
- Christian Schulte, Peter J. Stuckey:
Speeding Up Constraint Propagation.
619-633
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
Theoretical Foundations of CP-Based Lagrangian Relaxation.
634-647
Electronic Edition (link) BibTeX
- Paul Shaw:
A Constraint for Bin Packing.
648-662
Electronic Edition (link) BibTeX
- Christian Thiffault, Fahiem Bacchus, Toby Walsh:
Solving Non-clausal Formulas with DPLL Search.
663-678
Electronic Edition (link) BibTeX
- Willem Jan van Hoeve:
A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint.
679-689
Electronic Edition (link) BibTeX
- Zhao Xing, Weixiong Zhang:
Efficient Strategies for (Weighted) Maximum Satisfiability.
690-705
Electronic Edition (link) BibTeX
Short Papers
- Syed Muhammad Ali, Sven Koenig, Milind Tambe:
Preprocessing Techniques for Distributed Constraint Optimization.
706-710
Electronic Edition (link) BibTeX
- J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Variable Ordering Heuristics Show Promise.
711-715
Electronic Edition (link) BibTeX
- Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Tractability of Global Constraints.
716-720
Electronic Edition (link) BibTeX
- Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais:
Support Inference for Generic Filtering.
721-725
Electronic Edition (link) BibTeX
- Wilhelm Cronholm, Farid Ajili:
Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design.
726-730
Electronic Edition (link) BibTeX
- Rina Dechter, Robert Mateescu:
The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting.
731-736
Electronic Edition (link) BibTeX
- Xiaofei Huang:
A General Extension of Constraint Propagation for Constraint Optimization.
737-741
Electronic Edition (link) BibTeX
- Haixia Jia, Cristopher Moore:
How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails.
742-746
Electronic Edition (link) BibTeX
- Andrew Lim, Brian Rodrigues, Zhou Xu:
Solving the Crane Scheduling Problem Using Intelligent Search Schemes.
747-751
Electronic Edition (link) BibTeX
- Nikos Mamoulis, Kostas Stergiou:
Algorithms for Quantified Constraint Satisfaction Problems.
752-756
Electronic Edition (link) BibTeX
- Martí Sánchez, Pedro Meseguer, Javier Larrosa:
Improving the Applicability of Adaptive Consistency: Preliminary Results.
757-761
Electronic Edition (link) BibTeX
- Martin Sachenbacher, Brian C. Williams:
On-Demand Bound Computation for Best-First Constraint Optimization.
762-766
Electronic Edition (link) BibTeX
- Pavel Surynek, Roman Barták:
A New Algorithm for Maintaining Arc Consistency After Constraint Retraction.
767-771
Electronic Edition (link) BibTeX
- Marc R. C. van Dongen:
Computing the Frequency of Partial Orders.
772-776
Electronic Edition (link) BibTeX
- Yuanlin Zhang:
On Tightness of Constraints.
777-781
Electronic Edition (link) BibTeX
- Roie Zivan, Amnon Meisels:
Concurrent Dynamic Backtracking for Distributed CSPs.
782-787
Electronic Edition (link) BibTeX
Doctoral Papers
Demonstrations
- Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor:
PLASMA: A Constraint Based Planning Architecture.
810
Electronic Edition (link) BibTeX
- Owen Bourne, Abdul Sattar:
Applying Constraint Satisfaction Techniques to 3D Camera Control.
811
Electronic Edition (link) BibTeX
- Alexander Brodsky, Xiaoyang Sean Wang:
Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio.
812
Electronic Edition (link) BibTeX
- Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda:
CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction.
813-814
Electronic Edition (link) BibTeX
- Keith Golden, Wanlin Pang:
A Constraint-Based Planner Applied to Data Processing Domains.
815
Electronic Edition (link) BibTeX
- Rune M. Jensen:
CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration..
816
Electronic Edition (link) BibTeX
- Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry:
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants.
817
Electronic Edition (link) BibTeX
- Marius-Calin Silaghi, Vaibhav Rajeshirke, Richard J. Wallace:
A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers.
818
Electronic Edition (link) BibTeX
- Neng-Fa Zhou:
A Constraint-Based Graphics Library for B-Prolog.
819-820
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:43 2009
by Michael Ley (ley@uni-trier.de)