Amit Metodi
Amit Metodi
Cadence Israel Development Center
Verified email at metodi.me - Homepage
TitleCited byYear
Compiling finite domain constraints to SAT with BEE
A Metodi, M Codish
Theory and Practice of Logic Programming 12 (4-5), 465-483, 2012
592012
A novel sat-based approach to model based diagnosis
A Metodi, R Stern, M Kalech, M Codish
Journal of Artificial Intelligence Research 51, 377-411, 2014
362014
Compiling model-based diagnosis to Boolean satisfaction
A Metodi, R Stern, M Kalech, M Codish
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
332012
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
A Metodi, M Codish, PJ Stuckey
Journal of Artificial Intelligence Research 46, 303-341, 2013
322013
Boolean equi-propagation for optimized SAT encoding
A Metodi, M Codish, V Lagoon, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2011
202011
Beyond feasibility: CP usage in constrained-random functional hardware verification
R Naveh, A Metodi
International Conference on Principles and Practice of Constraint …, 2013
102013
Coverage driven distribution of constrained random stimuli
M Teplitsky, A Metodi, R Azaria
Proceedings of the design and verification conference and exhibition US (DVCon), 2015
52015
Backbones for equality
M Codish, Y Fekete, A Metodi
Haifa Verification Conference, 1-14, 2013
52013
BEE
A Metodi
42012
On coverage and debug in random stimulus generation
M Teplitsky, A Metodi, R Naveh
14th International Workshop on Microprocessor Test and Verification, 2013
12013
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)
M Codish, M Frank, A Metodi, M Muslimany
Technical Communications of the 33rd International Conference on Logic …, 2018
2018
Method and system for automatically generating executable system-level tests
M Teplitsky, M Vax, A Metodi
US Patent 9,582,406, 2017
2017
Coverage driven generation of constrained random stimuli
M Teplitsky, R Azaria, A Metodi, Y Kinderman
US Patent 9,514,035, 2016
2016
Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut
M Codish, Y Fekete, A Metodi
arXiv preprint arXiv:1308.3937, 2013
2013
Compiling Finite Domain Constraints to SAT with Boolean Equi-propagation
A Metodi
Ben Gurion University of the Negev, Faculty of Natural Sciences, Department …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–15