1
TÍTULO: Core-Guided MaxSAT with Soft Cardinality Constraints
AUTORES: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: Scopus WOS DBLP CrossRef: 30 Unpaywall
2
TÍTULO: On the implementation of weak constraints in WASP (Preliminary report)
AUTORES: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLICAÇÃO: 2014, FONTE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
INDEXADO EM: Scopus