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