Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.
John SlaneyBruno Woltzenlogel PaleoPublished in: J. Autom. Reason. (2018)
Keyphrases
- conflict resolution
- clause learning
- unit propagation
- sat solvers
- answer sets
- horn clauses
- resolve conflicts
- resolving conflicts
- satisfiability problem
- sat problem
- propositional satisfiability
- universally quantified
- decision makers
- logic programs
- max sat
- davis putnam
- decision problems
- orders of magnitude
- access control policies
- first order logic
- boolean formula
- logic programming
- np complete
- search algorithm
- information retrieval
- expressive power
- sat instances