Unsatisfiable Core Shrinking for Anytime Answer Set Optimization.

Mario Alviano Carmine Dodaro

Published in: IJCAI (2017)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
sat solvers
answer set semantics
optimization problems
normal logic programs
answer set programs
databases
phase transition
constraint programming
fixpoint
general purpose
stable model semantics
np hard
counter examples
artificial intelligence