Login / Signup
Answer Set Solving exploiting Treewidth and its Limits.
Markus Hecher
Published in:
CoRR (2019)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
upper bound
search space
bounded treewidth
normal logic programs
boolean functions
database
evolutionary algorithm
space complexity
fixpoint
artificial intelligence
loop formulas