2 search results - page 1 / 1 » Solution Directed Backjumping for QCSP |
130
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
165
Voted
CPAIOR
2005
Springer
16 years 15 days ago
2005
Springer
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...