- A Proof Producing CSP Solver, Michael Veksler and Ofer Strichman, AAAI’10.
- A proof-producing CSP solver: A proof supplement, Michael Veksler and Ofer Strichman, IE/IS-2010-02
- Michael Veksler, Ofer Strichman Learning general constraints in CSP Proc. of The 12’th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2015).
- Learning general constraints in CSP (long version), Michael Veksler and Ofer Strichman, IE/IS-2014-05