Concepedia

Amit Metodi

AM

Statistics

Publications

3

Citations

144

H-Index

3

Active since

2012

Affiliations

Ben-Gurion University of the Negev(Current)

Amit Metodi is an author at Ben-Gurion University of the Negev specializing in satisfiability, computer engineering, and formal methods.

Top concepts

Publications per year

2012–2021

3

Publications

3

A Novel SAT-Based Approach to Model Based Diagnosis

Amit Metodi, Roni Stern, Meir Kalech et al. · Journal of Artificial Intelligence Research · 2014 · 74 citations · Full text

, , +19

Compiling finite domain constraints to SAT with<tt>BEE</tt>

Amit Metodi, Michael Codish · Theory and Practice of Logic Programming · 2012 · 37 citations

, , +14

Compiling Model-Based Diagnosis to Boolean Satisfaction

Amit Metodi, Roni Stern, Meir Kalech · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 33 citations · Full text

, , +19

1–3 of 3