Carmine Dodaro
AuthID: R-00H-885
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
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
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
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