Improving SAT Solver Performance with Structure-based Preferential Bumping.

Sima Jamali David Mitchell

Published in: GCAI (2017)

Keyphrases

sat solvers
orders of magnitude
search strategies
sat problem
sat instances
sat solving
search algorithm
evolutionary algorithm
expressive power