Effective Preprocessing in SAT Through Variable and Clause Elimination.

Niklas Eén Armin Biere

Published in: SAT (2005)

Keyphrases

preprocessing
feature extraction
high quality
search space
preprocessing step
feature selection
image processing
search algorithm
sat solvers
variable ordering
boolean variables
elimination algorithm