Amit Metodi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICLP | Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). | Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany |
| 2013 | CP | Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. | Reuven Naveh, Amit Metodi |
| 2012 | AAAI | Compiling Model-Based Diagnosis to Boolean Satisfaction. | Amit Metodi, Roni Stern, Meir Kalech, Michael Codish |
| 2011 | CP | Boolean Equi-propagation for Optimized SAT Encoding. | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |