5. CP 1999:
Alexandria, Virginia, USA
Joxan Jaffar (Ed.):
Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings.
Lecture Notes in Computer Science 1713 Springer 1999, ISBN 3-540-66626-5 
Invited Papers
Regular Papers
- Slim Abdennadher, Thom W. Frühwirth:
Operational Equivalence of CHR Programs and Constraints.
43-57
- Krzysztof R. Apt, Eric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.
58-72
- Rolf Backofen, Sebastian Will:
Excluding Symmetries in Constraint-Based Search.
73-87
- Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa:
On Forward Checking for Non-binary Constraint Satisfaction.
88-102
- Christian Bessière, Jean-Charles Régin:
Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.
103-117
- Marcus Bjäreland, Peter Jonsson:
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP.
118-128
- Mathias Broxvall, Peter Jonsson:
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.
129-143
- Yves Caseau, François Laburthe, Glenn Silverstein:
A Meta-Heuristic Factory for Vehicle Routing Problems.
144-158
- Víctor Dalmau, Justin Pearson:
Closure Functions and Width 1 Problems.
159-173
- Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
An Overview of HAL.
174-188
- Filippo Focacci, Andrea Lodi, Michela Milano:
Cost-Based Domain Filtering.
189-203
- Christian Frei, Boi Faltings:
Resource Allocation and Constraint Satisfaction Techniques.
204-218
- Youssef Hamadi:
Optimal Distributed Arc-Consistency.
219-233
- Tudor Hulubei, Eugene C. Freuder:
The Goldilocks Problem.
234-245
- Micha Janssen, Yves Deville, Pascal Van Hentenryck:
Multistep Filtering Operators for Ordinary Differential Equations.
246-260
- Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann:
A Framework for Constraint Programming Based Column Generation.
261-274
- Kazuya Kaneko, Masazumi Yoshikawa, Yoichiro Nakakuki:
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems.
275-288
- Ludwig Krippahl, Pedro Barahona:
Applying Constraint Programming to Protein Structure Determination.
289-302
- Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP.
303-315
- Bernd Meyer:
Constraint Diagram Reasoning.
316-330
- François Pachet, Pierre Roy:
Automatic Generation of Music Programs.
331-345
- Laurent Perron:
Search Procedures and Parallelism in Constraint Programming.
346-360
- Nicolas Prcovic, Bertrand Neveu:
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search.
361-374
- Philippe Refalo:
Tight Cooperation and Its Application in Piecewise Linear Optimization.
375-389
- Jean-Charles Régin:
Arc Consistency for Global Cardinality Constraints with Costs.
390-404
- Barbara M. Smith:
The Brélaz Heuristic and Optimal Static Orderings.
405-418
- Timo Soininen, Esther Gelle, Ilkka Niemelä:
A Fixpoint Definition of Dynamic Constraint Satisfaction.
419-433
- Takayuki Suyama, Makoto Yokoo, Akira Nagoya:
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.
434-445
- John Thornton, Abdul Sattar:
On the Behavior and Application of Constraint Weighting.
446-460
- Benjamin W. Wah, Tao Wang:
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization.
461-475
Poster Papers
Last update Thu May 23 16:36:23 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
