Filtros de búsqueda

Lista de obras de Carmine Dodaro

Advances in WASP

artículo científico publicado en 2015

Allotment Problem in Travel Industry: A Solution Based on ASP

artículo científico publicado en 2015

An Advanced Answer Set Programming Encoding for Nurse Scheduling

artículo científico publicado en 2017

Answer Set Enumeration via Assumption Literals

artículo científico publicado en 2016

Anytime Computation of Cautious Consequences in Answer Set Programming ⬇️

artículo científico publicado en 2014

Anytime answer set optimization via unsatisfiable core shrinking

artículo científico publicado en 2016

Cautious reasoning in ASP via minimal models and unsatisfiable cores

artículo científico publicado en 2018

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

artículo científico publicado en 2016

Comparing Alternative Solutions for Unfounded Set Propagation in ASP

artículo científico publicado en 2013

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

artículo científico publicado en 2017

Core-Guided MaxSAT with Soft Cardinality Constraints

artículo científico publicado en 2014

Inconsistency Proofs for ASP: The ASP - DRUPE Format

artículo científico publicado en 2019

Interactive Debugging of Non-ground ASP Programs

artículo científico publicado en 2015

Nurse Scheduling via Answer Set Programming

artículo científico publicado en 2017

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

artículo científico publicado en 2016

The ASP System DLV2

artículo científico publicado en 2017

The ASP System DLV: Advancements and Applications

artículo científico publicado en 2018

The Fourth Answer Set Programming Competition: Preliminary Report

artículo científico publicado en 2013

WASP: A Native ASP Solver Based on Constraint Learning

artículo científico publicado en 2013

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda