14. CP 2008:
Sydney, NSW, Australia Peter J. Stuckey (Ed.):
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings.
Lecture Notes in Computer Science 5202 Springer 2008, ISBN 978-3-540-85957-4
Invited Lecture
export record as
dblp key:
Applications Track Long 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:
Research Track Long Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jinbo Huang :
Universal Booleanization of Constraint Models.
144-158
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:
T. K. Satish Kumar :
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems.
282-297
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:
Research Track 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:
Lars Otten ,
Rina Dechter :
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems.
576-581
export record as
dblp key:
export record as
dblp key:
Frank Raiser :
Semi-automatic Generation of CHR Solvers for Global Constraints.
588-592
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: