Follow
Amit Metodi
Amit Metodi
Cadence Israel Development Center
Verified email at metodi.me - Homepage
Title
Cited by
Cited by
Year
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
782014
Compiling finite domain constraints to SAT with BEE
A Metodi, M Codish
Theory and Practice of Logic Programming 12 (4-5), 465-483, 2012
662012
Compiling model-based diagnosis to Boolean satisfaction
A Metodi, R Stern, M Kalech, M Codish
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 793-799, 2012
492012
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
422013
Boolean equi-propagation for optimized SAT encoding
A Metodi, M Codish, V Lagoon, PJ Stuckey
Principles and Practice of Constraint Programming–CP 2011: 17th …, 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
152013
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
92015
Backbones for equality
M Codish, Y Fekete, A Metodi
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
82013
Method and system for automatically generating executable system-level tests
M Teplitsky, M Vax, A Metodi
US Patent 9,582,406, 2017
52017
Deriving optimal multiplication-by-constant circuits with a SAT-based constraint engine
V Lagoon, A Metodi
ModRef 2020-The 19th workshop on Constraint Modelling and Reformulation, 2020
42020
BEE
A Metodi
32012
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
22018
On coverage and debug in random stimulus generation
M Teplitsky, A Metodi, R Naveh
14th International Workshop on Microprocessor Test and Verification, 2013
12013
Coverage model enhancement to support logic and arithmetic expressions
RV Melnikov, A Metodi, SR Alqassis
US Patent 10,885,252, 2021
2021
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–17