Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas.

Roman Gershman Ofer Strichman

Published in: SAT (2005)

Keyphrases

cost effective
preprocessing
cnf formula
low cost
cost effectiveness
np complete
max sat
e learning
feature extraction
knowledge compilation
propositional formulas
conjunctive normal form
real time
search algorithm
state space
retrieval effectiveness