Answer Set Solver Backdoors.

Emilia Oikarinen Matti Järvisalo

Published in: JELIA (2014)

Keyphrases

answer sets
logic programs
sat solvers
answer set programming
logic programming
answer set semantics
answer set programs
satisfiability problem
hidden structure
sat instances
fixpoint
normal logic programs
constraint satisfaction
heuristic search
software engineering
loop formulas
semantics of logic programs