Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold

Thomas Hugel Yacine Boufkhad

Published in: CoRR (2010)

Keyphrases

upper bounding
upper bound
branch and bound algorithm
lower bound
search algorithm
lower bounding
optimal solution
bayesian networks
sat solvers