HaifaSat: a SAT solver based on an Abstraction/Refinement model.

Roman Gershman Ofer Strichman

Published in: J. Satisf. Boolean Model. Comput. (2009)

Keyphrases

objective function
learning algorithm
probabilistic model
document collections
heuristic search
document retrieval
sat solvers