Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Nadia CreignouReinhard PichlerStefan WoltranPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- event calculus
- temporal reasoning
- situation calculus
- abductive reasoning
- answer set programming
- sat solvers
- bucket elimination
- logic programs
- software engineering
- satisfiability problem
- orders of magnitude
- lower bound
- knowledge base
- quantified boolean formulas
- data mining