Algorithms for Counting 2-SAT Solutions and Colorings with Applications

Martin Fürer Shiva Prasad Kasiviswanathan

Published in: Electron. Colloquium Comput. Complex. (2005)

Keyphrases

computational cost
stochastic local search
graph coloring
stochastic local search algorithms
scheduling problem
optimization problems
orders of magnitude
approximate solutions
data structure
association rules
significant improvement
worst case
linear programming
combinatorial optimization
satisfiability problem