Anytime answer set optimization via unsatisfiable core shrinking.

Mario Alviano Carmine Dodaro

Published in: CoRR (2016)

Keyphrases

answer sets
logic programs
answer set programming
sat solvers
logic programming
answer set semantics
answer set programs
optimization problems
database
loop formulas
unsatisfiable cores
machine learning
artificial intelligence
constraint satisfaction
phase transition
normal logic programs