DODARO, CARMINE

DODARO, CARMINE  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A MaxSAT algorithm using cardinality constraints of bounded size 1-gen-2015 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 1-gen-2022 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 1-gen-2021 Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I.
Advances in WASP 1-gen-2015 Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
Allotment problem in travel industry: A solution based on ASP 1-gen-2015 Dodaro, Carmine; Leone, Nicola; Nardi, Barbara; Ricca, Francesco
An advanced answer set programming encoding for nurse scheduling 1-gen-2017 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 1-gen-2021 Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I.
An overview of ASP applications in the health-care domain 1-gen-2018 Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan
Answer set enumeration via assumption literals 1-gen-2016 Alviano, Mario; Dodaro, Carmine
Anytime answer set optimization via unsatisfiable core shrinking 1-gen-2016 Alviano, Mario; Dodaro, Carmine
Anytime computation of cautious consequences in answer set programming 1-gen-2014 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
ASPQ: An ASP-based 2QBF solver 1-gen-2016 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Cautious reasoning in ASP via minimal models and unsatisfiable cores 1-gen-2018 Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 1-gen-2016 Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn
Comparing alternative solutions for unfounded set propagation in ASP 1-gen-2013 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Completion of disjunctive logic programs 1-gen-2016 Alviano, Mario; Dodaro, Carmine
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 1-gen-2017 Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
Core-guided MaxSAT with soft cardinality constraints 1-gen-2014 Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 1-gen-2022 Dodaro, C.; Ilardi, D.; Oneto, L.; Ricca, F.
External propagators in wasp: Preliminary report 1-gen-2016 Dodaro, Carmine; Ricca, Francesco; Schüller, Peter