11. CP 2005:
Sitges (Barcelona), Spain Peter van Beek (Ed.):
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings.
Lecture Notes in Computer Science 3709 Springer 2005, ISBN 3-540-29238-1 Invited Papers
export record as
dblp key:
export record as
dblp key:
Ian Horrocks :
OWL: A Description Logic Based Ontology Language.
5-8
export record as
dblp key:
export record as
dblp key:
Best Papers
export record as
dblp key:
export record as
dblp key:
Full Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
John N. Hooker :
Planning and Scheduling to Minimize Tardiness.
314-327
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hui Li ,
Brian Williams :
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization.
415-429
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jean-Charles Régin :
AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm.
505-519
export record as
dblp key:
Jean-Charles Régin :
Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost.
520-533
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kish Shen ,
Joachim Schimpf :
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.
622-636
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael Thielscher :
Handling Implication and Universal Quantification Constraints in FLUX.
667-681
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Short Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Peter Nightingale :
Consistency for Quantified Constraint Satisfaction Problems.
792-796
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Meinolf Sellmann :
Approximated Consistency for the Automatic Recording Problem.
822-826
export record as
dblp key:
Carsten Sinz :
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.
827-831
export record as
dblp key:
Doctoral Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Le Chang ,
Alan K. Mackworth :
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.
844
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
System Demonstrations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yehuda Naveh ,
Roy Emek :
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
882-882
export record as
dblp key:
Erik Meer :
A BDD-Based Interactive Configurator for Modular Systems.
883-883
data released under the ODC-BY 1.0 license
