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), [to appear], 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.