Assumption-Based Pruning in Conditional CSP. - Felix Geller; Michael Veksler (CP, 2005)

A Proof-Producing CSP Solver. - Michael Veksler; Ofer Strichman (AAAI, 2010)

Using Graph-Based CSP to Solve the Address Translation Problem. - Merav Aharoni; Yael Ben-Haim; Shai Doron; Anatoly Koyfman; Elena Tsanko; Michael Veksler (CP, 2016)

Learning general constraints in CSP. - Michael Veksler; Ofer Strichman (Artif. Intell., 2016)