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