Improving upon Maximum Independent Set by five orders of magnitude

Published in: CoRR (2009)

Keyphrases

branch and bound
orders of magnitude
maximum independent set
lower bound
upper bound
optimal solution
graph theory
independent set
state space
brute force search
graph theoretic
search problems
sat solvers
orders of magnitude speedup
simulated annealing