M. Veksler and O. Strichman, “A Proof-Producing CSP Solver”, AAAI, vol. 24, no. 1, pp. 204–209, Jul. 2010.