Michael Veksler

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Learning general constraints in CSP.
Artif. Intell., 2016

Using Graph-Based CSP to Solve the Address Translation Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2010
A Proof-Producing CSP Solver.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2005
Assumption-Based Pruning in Conditional CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2005


  Loading...