| Algorithms for computing minimal unsatisfiable subsets of constraints MH Liffiton, KA Sakallah Journal of Automated Reasoning 40, 1-33, 2008 | 474 | 2008 |
| Exploiting structure in symmetry detection for CNF PT Darga, MH Liffiton, KA Sakallah, IL Markov Proceedings of the 41st annual Design Automation Conference, 530-534, 2004 | 226 | 2004 |
| Iterative and core-guided MaxSAT solving: A survey and assessment A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva Constraints 18, 478-534, 2013 | 218 | 2013 |
| Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21, 223-250, 2016 | 200 | 2016 |
| On finding all minimally unsatisfiable subformulas MH Liffiton, KA Sakallah International conference on theory and applications of satisfiability …, 2005 | 166 | 2005 |
| Improved design debugging using maximum satisfiability S Safarpour, H Mangassarian, A Veneris, MH Liffiton, KA Sakallah Formal Methods in Computer Aided Design (FMCAD'07), 13-19, 2007 | 159 | 2007 |
| Enumerating infeasibility: Finding multiple MUSes quickly MH Liffiton, A Malik Integration of AI and OR Techniques in Constraint Programming for …, 2013 | 117 | 2013 |
| Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015 | 103 | 2015 |
| Codehelp: Using large language models with guardrails for scalable support in programming classes M Liffiton, BE Sheese, J Savelka, P Denny Proceedings of the 23rd Koli Calling International Conference on Computing …, 2023 | 97 | 2023 |
| Reveal: A formal verification tool for verilog designs ZS Andraus, MH Liffiton, KA Sakallah Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008 | 66 | 2008 |
| Refinement strategies for verification methods based on datapath abstraction ZS Andraus, MH Liffiton, KA Sakallah Proceedings of the 2006 Asia and South Pacific Design Automation Conference …, 2006 | 51 | 2006 |
| MaxSAT-based MCS enumeration A Morgado, M Liffiton, J Marques-Silva Proceedings of the 8th International Haifa Verification Conference (HVC-2012), 2012 | 47 | 2012 |
| A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas M Liffiton, M Mneimneh, I Lynce, Z Andraus, J Marques-Silva, K Sakallah Constraints 14 (4), 415-442, 2009 | 43 | 2009 |
| A Cardinality Solver: More Expressive Constraints for Free M Liffiton, J Maglalang Theory and Applications of Satisfiability Testing–SAT 2012, 485-486, 2012 | 40 | 2012 |
| Generalizing core-guided Max-SAT MH Liffiton, KA Sakallah International Conference on Theory and Applications of Satisfiability …, 2009 | 35 | 2009 |
| Trickle: automated infeasible path detection using all minimal unsatisfiable subsets B Blackham, M Liffiton, G Heiser 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014 | 34 | 2014 |
| Identifying conflicts in overconstrained temporal problems MH Liffiton, MD Moffitt, ME Pollack, KA Sakallah IJCAI, 205-211, 2005 | 32 | 2005 |
| Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant B Sheese, M Liffiton, J Savelka, P Denny Proceedings of the 26th Australasian Computing Education Conference, 49-57, 2024 | 29 | 2024 |
| CEGAR-based formal hardware verification: A case study ZS Andraus, MH Liffiton, KA Sakallah Ann Arbor 1001, 48109-2122, 2007 | 26 | 2007 |
| Searching for autarkies to trim unsatisfiable clause sets M Liffiton, K Sakallah Proceedings of the 11th international conference on Theory and applications …, 2008 | 24 | 2008 |
Karem A SakallahUniversity of Michiganכתובת אימייל מאומתת בדומיין umich.edu