Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540749691

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Of Mousetraps and Men: A Cautionary Tale

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_2 ◽

2007 ◽

pp. 2-2

Author(s):

Matt Ginsberg

Keyword(s):

Cautionary Tale

Download Full-text

A Case for Simple SAT Solvers

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_62 ◽

2007 ◽

pp. 839-846 ◽

Cited By ~ 9

Author(s):

Jinbo Huang

Keyword(s):

Sat Solvers

Download Full-text

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_54 ◽

2007 ◽

pp. 773-781

Author(s):

Stefano Bistarelli ◽

Pamela Peretti ◽

Irina Trubitsyna

Keyword(s):

Set Optimization ◽

Answer Set

Download Full-text

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_33 ◽

2007 ◽

pp. 453-467 ◽

Cited By ~ 1

Author(s):

Christophe Lecoutre ◽

Lakhdar Sais ◽

Sébastien Tabary ◽

Vincent Vidal

Keyword(s):

Partial State

Download Full-text

Reformulating CSPs for Scalability with Application to Geospatial Reasoning

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_14 ◽

2007 ◽

pp. 164-179 ◽

Cited By ~ 1

Author(s):

Kenneth M. Bayer ◽

Martin Michalowski ◽

Berthe Y. Choueiry ◽

Craig A. Knoblock

Download Full-text

Decomposing Global Grammar Constraints

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_42 ◽

2007 ◽

pp. 590-604 ◽

Cited By ~ 22

Author(s):

Claude-Guy Quimper ◽

Toby Walsh

Download Full-text

Solution Directed Backjumping for QCSP

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_13 ◽

2007 ◽

pp. 148-163 ◽

Cited By ~ 3

Author(s):

Fahiem Bacchus ◽

Kostas Stergiou

Download Full-text

Breaking Value Symmetry

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_67 ◽

2007 ◽

pp. 880-887 ◽

Cited By ~ 9

Author(s):

Toby Walsh

Download Full-text

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_19 ◽

2007 ◽

pp. 241-255 ◽

Cited By ~ 6

Author(s):

Tristan Denmat ◽

Arnaud Gotlieb ◽

Mireille Ducassé

Keyword(s):

Constraint Programming ◽

Abstract Interpretation

Download Full-text

Hierarchical Hardness Models for SAT

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_49 ◽

2007 ◽

pp. 696-711 ◽

Cited By ~ 12

Author(s):

Lin Xu ◽

Holger H. Hoos ◽

Kevin Leyton-Brown

Download Full-text

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Of Mousetraps and Men: A Cautionary Tale

A Case for Simple SAT Solvers

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance

Reformulating CSPs for Scalability with Application to Geospatial Reasoning

Decomposing Global Grammar Constraints

Solution Directed Backjumping for QCSP

Breaking Value Symmetry

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

Hierarchical Hardness Models for SAT

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
Latest Publications