Carmine Dodaro
AuthID: R-00H-885
1
TITLE: Core-Guided MaxSAT with Soft Cardinality Constraints
AUTHORS: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTHORS: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
2
TITLE: On the implementation of weak constraints in WASP (Preliminary report)
AUTHORS: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLISHED: 2014, SOURCE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
AUTHORS: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLISHED: 2014, SOURCE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
INDEXED IN: 
Scopus
Scopus