Login / Signup
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter.
Junping Zhou
Minghao Yin
Chunguang Zhou
Published in:
AAAI (2010)
Keyphrases
</>
upper bound
worst case
lower bound
sat solvers
boolean satisfiability
constant factor
satisfiability problem
search algorithm
running times
small number
average case
np complete
sat problem
branch and bound algorithm
greedy algorithm
learning algorithm
np hard
search space
optimal solution