Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

Nadia Creignou Reinhard Pichler Stefan Woltran

Published in: IJCAI (2013)

Keyphrases

reasoning tasks
automated reasoning
description logics
logic programming
answer set programming
event calculus
temporal reasoning
reasoning problems
abductive reasoning
artificial intelligence
search algorithm
general purpose
query language
dl lite
propositional satisfiability
quantified boolean formulas