Finding graph decompositions via SAT
Wenting Zhao, Mark H. Liffiton, Peter G. Jeavons, and Dan Roberts
in Proc. 29th IEEE International Conference on Tools with Artificial Intelligence
(ICTAI 2017), November 2017.
Parallelizing Partial MUS Enumeration
Wenting Zhao and Mark H. Liffiton
in Proc. 28th IEEE International Conference on Tools with Artificial Intelligence
(ICTAI 2016), 464-471, November 2016.
MaxSAT-Based MCS Enumeration
Antonio Morgado, Mark H. Liffiton, and João Marques-Silva
in Proc. 8th International Haifa Verification Conference
(HVC-2012), 86-101, November 2012.
Generalizing Core-Guided Max-SAT
Mark H. Liffiton and Karem A. Sakallah
in Proc. 12th International Conference on Theory and Applications of Satisfiability Testing
(SAT-2009), 481-494, June 2009.