Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.

John Slaney Bruno Woltzenlogel Paleo

Published 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