Carmine Dodaro

Carmine Dodaro

Università della Calabria - Rende / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1755164
University of Calabria
person_outline Carmine Dodaro's MOST POPULAR ARTICLES
1-) Core-guided MaxSAT with soft cardinality constraints International Conference on Principles and Practice of Constraint …, 2014
2-) The asp system dlv2 Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
3-) WASP: A native ASP solver based on constraint learning Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
4-) A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI 2015, 2677-2683, 2015
5-) A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.M Alviano, C Dodaro, F RiccaIJCAI 2015, 2677-2683, 2015922015