The PaLM system : explanation-based constraint programming

@inproceedings{Jussien2000ThePS,
  title={The PaLM system : explanation-based constraint programming},
  author={Narendra Jussien and Vincent Barichard},
  year={2000}
}
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