Mark Liffiton
AuthID: R-007-1TQ
1
TITLE: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
2
TITLE: Iterative and core-guided MaxSAT solving: A survey and assessment Full Text
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
3
TITLE: MaxSAT-Based MCS Enumeration
AUTHORS: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, VOLUME: 7857
AUTHORS: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, VOLUME: 7857
4
TITLE: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas Full Text
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4
