Generalized Conflict-Clause Strengthening for Satisfiability Solvers.

Allen Van Gelder

Published in: SAT (2011)

Keyphrases

conflict resolution
data sets
three dimensional
digital libraries
real time
data mining
e learning
image segmentation
expert systems
artificial neural networks
search space
resolving conflicts