How Many Conflicts Does It Need to Be Unsatisfiable?

Dominik Scheder Philipp Zumstein

Published in: SAT (2008)

Keyphrases

phase transition
conflict resolution
sat solvers
resolving conflicts
databases
cooperative
unsatisfiable cores
data sets
expert systems
xpath queries
machine learning
metadata
probabilistic model
resolve conflicts