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

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

2015

Learning General Constraints in CSP.

Michael Veksler, Ofer Strichman

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

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