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