Blocked Clause Decomposition.

Marijn Heule Armin Biere

Published in: LPAR (2013)

Keyphrases

image decomposition
decomposition method
case study
decomposition algorithm
data sets
databases
search space
theorem prover
machine learning
search algorithm
orders of magnitude
inductive logic programming