Carmine Dodaro

Associate Professor, University of Calabria

Joined

July 2019

Carmine Dodaro (Preferred)

****@unical.it (Confirmed)

Associate Professor

University of Calabria (unical.it)

2022 – Present

No relations added

Maximum Satisfiability

2014 – Present

Answer Set Programming

2011 – Present

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
- 2018 (modified: 16 Jul 2019)
- AAAI 2018
- Readers: Everyone
On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
- 2017 (modified: 16 Jul 2019)
- AAAI 2017
- Readers: Everyone
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization
Mario Alviano, Carmine Dodaro
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
Completion of Disjunctive Logic Programs
Mario Alviano, Carmine Dodaro
- 2016 (modified: 16 Jul 2019)
- IJCAI 2016
- Readers: Everyone
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
Mario Alviano, Carmine Dodaro, Francesco Ricca
- 2015 (modified: 16 Jul 2019)
- IJCAI 2015
- Readers: Everyone