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