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
- resolve conflicts
- resolving conflicts
- horn clauses
- satisfiability problem
- sat problem
- propositional satisfiability
- access control policies
- universally quantified
- first order logic
- decision makers
- logic programs
- decision problems
- collaborative design
- boolean formula
- np complete
- computational complexity
- propositional logic
- search tree
- automated reasoning
- orders of magnitude
- truth values
- access control
- search algorithm