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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 90 Unpaywall
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
INDEXADO EM: Scopus DBLP CrossRef: 16 Unpaywall
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall