Follow
Mark Liffiton
Title
Cited by
Cited by
Year
Algorithms for computing minimal unsatisfiable subsets of constraints
MH Liffiton, KA Sakallah
Journal of Automated Reasoning 40, 1-33, 2008
4492008
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
2212004
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
2072013
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21, 223-250, 2016
1792016
On finding all minimally unsatisfiable subformulas
MH Liffiton, KA Sakallah
International conference on theory and applications of satisfiability …, 2005
1672005
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
1512007
Enumerating infeasibility: Finding multiple MUSes quickly
MH Liffiton, A Malik
Integration of AI and OR Techniques in Constraint Programming for …, 2013
1152013
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
942015
Reveal: A formal verification tool for verilog designs
ZS Andraus, MH Liffiton, KA Sakallah
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
642008
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
512006
MaxSAT-based MCS enumeration
A Morgado, M Liffiton, J Marques-Silva
Proceedings of the 8th International Haifa Verification Conference (HVC-2012), 2012
452012
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
432009
Generalizing core-guided Max-SAT
MH Liffiton, KA Sakallah
International Conference on Theory and Applications of Satisfiability …, 2009
372009
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
332014
Identifying conflicts in overconstrained temporal problems
MH Liffiton, MD Moffitt, ME Pollack, KA Sakallah
IJCAI, 205-211, 2005
322005
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
302023
A Cardinality Solver: More Expressive Constraints for Free
M Liffiton, J Maglalang
Theory and Applications of Satisfiability Testing–SAT 2012, 485-486, 2012
292012
CEGAR-based formal hardware verification: A case study
ZS Andraus, MH Liffiton, KA Sakallah
Ann Arbor 1001, 48109-2122, 2007
262007
Searching for autarkies to trim unsatisfiable clause sets
M Liffiton, K Sakallah
Proceedings of the 11th international conference on Theory and applications …, 2008
242008
Automated scalable verification for hardware designs at the register transfer level
Z Andraus, KA Sakallah, M Liffiton
US Patent 8,601,414, 2013
162013
The system can't perform the operation now. Try again later.
Articles 1–20