Computing Explanations for the Unary Resource Constraint

@inproceedings{Vilm2005ComputingEF,
  title={Computing Explanations for the Unary Resource Constraint},
  author={Petr Vil{\'i}m},
  booktitle={CPAIOR},
  year={2005}
}
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced search methods like directed backjumping can effectively cut off parts of the search tree and thus speed up the search. In order to use explanations, propagation algorithms must provide some sort of reasons (justifications) for their actions. For binary constraints it is mostly easy. In the case of global constraints… CONTINUE READING