Anytime answer set optimization via unsatisfiable core shrinking.

Mario Alviano Carmine Dodaro

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

answer sets
logic programs
answer set programming
sat solvers
logic programming
answer set semantics
answer set programs
normal logic programs
unsatisfiable cores
optimization problems
search algorithm
expert systems
general purpose
phase transition
stable models
counter examples