Blocked Clause Elimination.

Matti Järvisalo Armin Biere Marijn Heule

Published in: TACAS (2010)

Keyphrases

search space
theorem prover
elimination algorithm
neural network
database systems
dead end
database
decision trees
optimal solution
search algorithm
digital libraries
refinement operators