Covered Clause Elimination

Marijn Heule Matti Järvisalo Armin Biere

Published in: CoRR (2010)

Keyphrases

search space
theorem prover
horn clauses
data sets
image processing
data structure
computer vision
bayesian networks
refinement operators
dead end