Boolean Equi-propagation for Optimized SAT Encoding. - Amit Metodi; Michael Codish; Vitaly Lagoon; Peter J. Stuckey (CP, 2011)

Compiling Model-Based Diagnosis to Boolean Satisfaction. - Amit Metodi; Roni Stern; Meir Kalech; Michael Codish (AAAI, 2012)

Compiling finite domain constraints to SAT with BEE. - Amit Metodi; Michael Codish (Theory Pract. Log. Program., 2012)

Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. - Reuven Naveh; Amit Metodi (CP, 2013)

Backbones for Equality. - Michael Codish; Yoav Fekete; Amit Metodi (Haifa Verification Conference, 2013)

Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. - Michael Codish; Yoav Fekete; Amit Metodi (CoRR, 2013)

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. - Amit Metodi; Michael Codish; Peter J. Stuckey (J. Artif. Intell. Res., 2013)

A Novel SAT-Based Approach to Model Based Diagnosis. - Amit Metodi; Roni Stern; Meir Kalech; Michael Codish (J. Artif. Intell. Res., 2014)

Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). - Michael Codish; Michael Frank 002; Amit Metodi; Morad Muslimany (ICLP (Technical Communications), 2017)