The PaLM system : explanation-based constraint programming

  title={The PaLM system : explanation-based constraint programming},
  author={Narendra Jussien and Vincent Barichard},
Explanation-based constraint programming is a new way of solving constraint problems: it allows to propagate constraints of the problem, learning from failure and from the solver (thanks to recording explanations) and nally allows to get rid of backtrack-based complete searches by allowing more free moves in the search space (while remaining complete). This paper presents the PaLM system, an implementation of an explanation-based constraint programming system in choco [16], a constraint… CONTINUE READING