Michael Veksler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CP | Using Graph-Based CSP to Solve the Address Translation Problem. | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
| 2015 | CPAIOR | Learning General Constraints in CSP. | Michael Veksler, Ofer Strichman |
| 2010 | AAAI | A Proof-Producing CSP Solver. | Michael Veksler, Ofer Strichman |
| 2005 | CP | Assumption-Based Pruning in Conditional CSP. | Felix Geller, Michael Veksler |