Mario Alviano

Mario Alviano

Università della Calabria - Rende / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1800787
University of Calabria
person_outline Mario Alviano's MOST POPULAR ARTICLES
1-) Team-building with answer set programming in the Gioia-Tauro seaport Theory and Practice of Logic Programming 12 (3), 361-381, 2012
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