Amit Metodi

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Diagnostic Systems

Constraint Programming

Combinatorial Problems

Top Venues

J. Artif. Intell. Res.

ICLP (Technical Communications)

Publications

Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). ICLP (Technical Communications) (2017)
Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
A Novel SAT-Based Approach to Model Based Diagnosis. J. Artif. Intell. Res. 51 (2014)
Amit Metodi, Michael Codish, Peter James Stuckey
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. CoRR (2014)
Michael Codish, Yoav Fekete, Amit Metodi
Backbones for Equality. Haifa Verification Conference (2013)
Reuven Naveh, Amit Metodi
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. CP (2013)
Amit Metodi, Michael Codish, Peter J. Stuckey
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. 46 (2013)
Michael Codish, Yoav Fekete, Amit Metodi
Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. CoRR (2013)
Amit Metodi, Michael Codish
Compiling finite domain constraints to SAT with BEE. Theory Pract. Log. Program. 12 (4-5) (2012)
Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
Compiling Model-Based Diagnosis to Boolean Satisfaction. AAAI (2012)
Amit Metodi, Michael Codish
Compiling Finite Domain Constraints to SAT with BEE CoRR (2012)
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Boolean Equi-propagation for Optimized SAT Encoding CoRR (2011)
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Boolean Equi-propagation for Optimized SAT Encoding. CP (2011)