A New Lower Bound of Critical Function for (k, s)-SAT.

Ping Gong Daoyun Xu

Published in: TAMC (2006)

Keyphrases

lower bound
upper bound
max sat
objective function
branch and bound
branch and bound algorithm
worst case
optimal solution
search algorithm
lower and upper bounds
search space
learning theory
concept class
variable ordering