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

Yacine Boufkhad Thomas Hugel

Published in: SAT (2010)

Keyphrases

upper bounding
lower bound
upper bound
branch and bound algorithm
phase transition
satisfiability problem
optimal solution
benchmark problems