Covered Clause Elimination.

Marijn Heule Matti Järvisalo Armin Biere

Published in: LPAR short papers(Yogyakarta) (2010)

Keyphrases

search space
database
bayesian networks
real world
computer vision
image processing
website
objective function
expert systems
special case
knowledge representation
refinement operators
elimination algorithm