21 search results - page 1 / 5 » k-relevant Explanations for Constraint Programming |
FLAIRS
2003
13 years 6 months ago
2003
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
AAAI
2004
13 years 6 months ago
2004
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...
JUCS
2007
13 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
AADEBUG
2000
Springer
13 years 9 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...