The Combinatorics of Conflicts between Clauses.

Oliver Kullmann

Published in: SAT (2003)

Keyphrases

conflict resolution
search space
first order logic
resolving conflicts
graph theory
cooperative
horn clauses
boolean satisfiability
information retrieval
consequence finding
boolean formulae
artificial intelligence
website
multi agent
background knowledge
propositional formulas