Metodi, Amit

3 publications

JAIR 2014 A Novel SAT-Based Approach to Model Based Diagnosis Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

JAIR 2013 Boolean Equi-Propagation for Concise and Efficient SAT Encodings of Combinatorial Problems Amit Metodi, Michael Codish, Peter J. Stuckey

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