Sign in

Blocked Clause Elimination.

Matti JärvisaloArmin BiereMarijn 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