Michael Veksler

According to our database, Michael Veksler authored at least 4 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Learning general constraints in CSP.

Michael Veksler, Ofer Strichman

Artif. Intell., 2016

Using Graph-Based CSP to Solve the Address Translation Problem.

Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler

Proceedings of the Principles and Practice of Constraint Programming, 2016

2010

A Proof-Producing CSP Solver.

Michael Veksler, Ofer Strichman

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2005

Assumption-Based Pruning in Conditional CSP.

Felix Geller, Michael Veksler

Proceedings of the Principles and Practice of Constraint Programming, 2005