| 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 | 82 | 2014 |
| Compiling finite domain constraints to SAT with BEE A Metodi, M Codish Theory and Practice of Logic Programming 12 (4-5), 465-483, 2012 | 65 | 2012 |
| 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 | 49 | 2012 |
| 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 | 42 | 2013 |
| 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 | 20 | 2011 |
| Beyond feasibility: CP usage in constrained-random functional hardware verification R Naveh, A Metodi International Conference on Principles and Practice of Constraint …, 2013 | 14 | 2013 |
| 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 | 10 | 2015 |
| Backbones for equality M Codish, Y Fekete, A Metodi Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 9 | 2013 |
| Method and system for automatically generating executable system-level tests M Teplitsky, M Vax, A Metodi US Patent 9,582,406, 2017 | 6 | 2017 |
| Deriving optimal multiplication-by-constant circuits with a SAT-based constraint engine V Lagoon, A Metodi Proc. ModRef 19th Workshop Constraint Modelling Reformulation, 1-6, 2020 | 4 | 2020 |
| BEE A Metodi | 3 | 2012 |
| 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 | 2 | 2018 |
| On coverage and debug in random stimulus generation M Teplitsky, A Metodi, R Naveh 14th International Workshop on Microprocessor Test and Verification, 2013 | 1 | 2013 |
| 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 |
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
