Michael Veksler

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Topics

Constraint Programming

Learning Problems

Decision Theoretic

Top Venues

Publications

Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler
Using Graph-Based CSP to Solve the Address Translation Problem. CP (2016)
Michael Veksler, Ofer Strichman
Learning general constraints in CSP. Artif. Intell. 238 (2016)
Michael Veksler, Ofer Strichman
Learning General Constraints in CSP. CPAIOR (2015)
Michael Veksler, Ofer Strichman
A Proof-Producing CSP Solver. AAAI (2010)
Felix Geller, Michael Veksler
Assumption-Based Pruning in Conditional CSP. CP (2005)