Amit Metodi

According to our database, Amit Metodi authored at least 9 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2014

A Novel SAT-Based Approach to Model Based Diagnosis.

Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

J. Artif. Intell. Res., 2014

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

Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut.

Michael Codish, Yoav Fekete, Amit Metodi

CoRR, 2013

Backbones for Equality.

Michael Codish, Yoav Fekete, Amit Metodi

Proceedings of the Hardware and Software: Verification and Testing, 2013

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

Reuven Naveh, Amit Metodi

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Compiling finite domain constraints to SAT with BEE.

Amit Metodi, Michael Codish

Theory Pract. Log. Program., 2012

Compiling Model-Based Diagnosis to Boolean Satisfaction.

Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Boolean Equi-propagation for Optimized SAT Encoding.

Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011