Amit Metodi

Backbones for Equality

Michael Codish, Yoav Fekete, Amit Metodi, 2013, Haifa Verification Conference.

Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification

Amit Metodi, Reuven Naveh, R. Naveh, 2013, CP.

Compiling Model-Based Diagnosis to Boolean Satisfaction

Meir Kalech, Roni Stern, Michael Codish, 2012, AAAI.

Compiling finite domain constraints to SAT with BEE* pdf

Michael Codish, Yoav Fekete, Amit Metodi, 2012, Theory and Practice of Logic Programming.

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

Peter J. Stuckey, Michael Codish, Amit Metodi, 2013, J. Artif. Intell. Res..

Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)

Michael Frank, Michael Codish, Amit Metodi, 2017, ICLP.

A Novel SAT-Based Approach to Model Based Diagnosis

Meir Kalech, Roni Stern, Michael Codish, 2014, J. Artif. Intell. Res..

Boolean Equi-propagation for Optimized SAT Encoding pdf

Peter J. Stuckey, Michael Codish, Vitaly Lagoon, 2011, CP.