Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.
John SlaneyBruno Woltzenlogel PaleoPublished in: CoRR (2016)
Keyphrases
- conflict resolution
- clause learning
- unit propagation
- sat solvers
- answer sets
- horn clauses
- resolving conflicts
- universally quantified
- resolve conflicts
- satisfiability problem
- propositional satisfiability
- first order logic
- sat problem
- access control policies
- decision makers
- davis putnam
- logic programs
- search space
- information retrieval
- sat instances
- collaborative design
- evolutionary algorithm