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), 1-33, 2008
3812008
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
1972004
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
1632013
On finding all minimally unsatisfiable subformulas
MH Liffiton, KA Sakallah
International conference on theory and applications of satisfiability …, 2005
1532005
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
1352007
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21 (2), 223-250, 2016
1292016
Enumerating infeasibility: Finding multiple MUSes quickly
MH Liffiton, A Malik
International Conference on Integration of Constraint Programming …, 2013
912013
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
582015
Reveal: A formal verification tool for verilog designs
ZS Andraus, MH Liffiton, KA Sakallah
International Conference on Logic for Programming Artificial Intelligence …, 2008
582008
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
492006
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
372009
MaxSAT-based MCS enumeration
A Morgado, M Liffiton, J Marques-Silva
Proceedings of the 8th International Haifa Verification Conference (HVC-2012), 2012
332012
Generalizing core-guided Max-SAT
MH Liffiton, KA Sakallah
International Conference on Theory and Applications of Satisfiability …, 2009
332009
Identifying conflicts in overconstrained temporal problems
MH Liffiton, MD Moffitt, ME Pollack, KA Sakallah
IJCAI, 205-211, 2005
322005
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
262014
CEGAR-based formal hardware verification: A case study
ZS Andraus, MH Liffiton, KA Sakallah
Ann Arbor 1001, 48109-2122, 2007
252007
Searching for autarkies to trim unsatisfiable clause sets
M Liffiton, K Sakallah
Proceedings of the 11th international conference on Theory and applications …, 2008
222008
A Cardinality Solver: More Expressive Constraints for Free
M Liffiton, J Maglalang
Theory and Applications of Satisfiability Testing–SAT 2012, 485-486, 2012
162012
Automated scalable verification for hardware designs at the register transfer level
Z Andraus, KA Sakallah, M Liffiton
US Patent 8,601,414, 2013
122013
From Max-SAT to Min-UNSAT: Insights and Applications
MH Liffiton, ZS Andraus, KA Sakallah
Ann Arbor 1001, 48109-2122, 2005
92005
The system can't perform the operation now. Try again later.
Articles 1–20