Login / Signup
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Nadia Creignou
Reinhard Pichler
Stefan Woltran
Published in:
CoRR (2017)
Keyphrases
</>
reasoning tasks
logic programming
description logics
automated reasoning
answer set programming
event calculus
temporal reasoning
logic programs
search algorithm
phase transition
reasoning problems
satisfiability problem
sat solvers
propositional satisfiability
abductive reasoning
bucket elimination