Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015 | 147 | 2015 |
Core-guided MaxSAT with soft cardinality constraints A Morgado, C Dodaro, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2014 | 135 | 2014 |
WASP: A native ASP solver based on constraint learning M Alviano, C Dodaro, W Faber, N Leone, F Ricca Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 128 | 2013 |
The asp system dlv2 M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ... Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 116 | 2017 |
A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 86 | 2015 |
The fourth answer set programming competition: Preliminary report M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ... Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 69 | 2013 |
Evaluation of disjunctive programs in WASP M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 67 | 2019 |
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper) C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Shchekotykhin Theory and Practice of Logic Programming 16 (5-6), 653-669, 2016 | 66 | 2016 |
Nurse scheduling via answer set programming C Dodaro, M Maratea Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 58 | 2017 |
Anytime answer set optimization via unsatisfiable core shrinking M Alviano, C Dodaro Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016 | 52 | 2016 |
The ASP system DLV: advancements and applications WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ... KI-Künstliche Intelligenz 32, 177-179, 2018 | 51 | 2018 |
Optimum stable model search: algorithms and implementation M Alviano, C Dodaro, J Marques-Silva, F Ricca Journal of Logic and Computation 30 (4), 863-897, 2020 | 45 | 2020 |
An advanced answer set programming encoding for nurse scheduling M Alviano, C Dodaro, M Maratea AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017 | 44 | 2017 |
Anytime computation of cautious consequences in answer set programming M Alviano, C Dodaro, F Ricca Theory and Practice of Logic Programming 14 (4-5), 755-770, 2014 | 38 | 2014 |
An ASP-based solution to the chemotherapy treatment scheduling problem C Dodaro, G Galatà, A Grioni, M Maratea, M Mochi, I Porro Theory and Practice of Logic Programming 21 (6), 835-851, 2021 | 37 | 2021 |
Nurse (re) scheduling via answer set programming M Alviano, C Dodaro, M Maratea Intelligenza Artificiale 12 (2), 109-124, 2018 | 32 | 2018 |
On the application of answer set programming to the conference paper assignment problem G Amendola, C Dodaro, N Leone, F Ricca AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016 | 30 | 2016 |
Allotment problem in travel industry: A solution based on ASP C Dodaro, N Leone, B Nardi, F Ricca Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015 | 30 | 2015 |
An ASP-based solution for operating room scheduling with beds management C Dodaro, G Galatà, MK Khan, M Maratea, I Porro Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019 | 29 | 2019 |
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis B Cuteri, C Dodaro, F Ricca, P Schüller Theory and Practice of Logic Programming 17 (5-6), 780-799, 2017 | 26 | 2017 |