A Proof-Producing CSP Solver.

Michael Veksler, Ofer Strichman

Browse the full AAAI paper archive.