Search filters

List of works by Carmine Dodaro

Advances in WASP

scientific article published in 2015

Allotment Problem in Travel Industry: A Solution Based on ASP

scientific article published in 2015

An Advanced Answer Set Programming Encoding for Nurse Scheduling

scientific article published in 2017

Answer Set Enumeration via Assumption Literals

scientific article published in 2016

Anytime Computation of Cautious Consequences in Answer Set Programming ⬇️

scientific article published in July 2014

Anytime answer set optimization via unsatisfiable core shrinking

scientific article published in September 2016

Cautious reasoning in ASP via minimal models and unsatisfiable cores

scientific article published in July 2018

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

scientific article published in September 2016

Comparing Alternative Solutions for Unfounded Set Propagation in ASP

scientific article published in 2013

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis

scientific article published on 24 August 2017

Core-Guided MaxSAT with Soft Cardinality Constraints

scientific article published in 2014

Inconsistency Proofs for ASP: The ASP - DRUPE Format

scientific article published in 2019

Interactive Debugging of Non-ground ASP Programs

scientific article published in 2015

Nurse Scheduling via Answer Set Programming

scientific article published in 2017

On the Application of Answer Set Programming to the Conference Paper Assignment Problem

scientific article published in 2016

The ASP System DLV2

scientific article published in 2017

The ASP System DLV: Advancements and Applications

scientific article published on 14 May 2018

The Fourth Answer Set Programming Competition: Preliminary Report

scientific article published in 2013

WASP: A Native ASP Solver Based on Constraint Learning

scientific article published in 2013

Paulina is supported by:

About Paulina

Help