Amit Metodi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2014
A Novel SAT-Based Approach to Model Based Diagnosis.
J. Artif. Intell. Res., 2014

2013
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
J. Artif. Intell. Res., 2013

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

Backbones for Equality.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Compiling finite domain constraints to SAT with BEE.
Theory Pract. Log. Program., 2012

Compiling Model-Based Diagnosis to Boolean Satisfaction.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Boolean Equi-propagation for Optimized SAT Encoding.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011


  Loading...