UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.
Dave A. D. TompkinsHolger H. HoosPublished in: SAT (Selected Papers (2004)
Keyphrases
- stochastic local search
- max sat
- exact algorithms
- sat solvers
- satisfiability problem
- propositional satisfiability
- sat problem
- random sat instances
- weighted max sat
- maximum satisfiability
- branch and bound algorithm
- tabu search
- lower bound
- graph coloring
- phase transition
- boolean satisfiability
- sat solving
- search strategies
- branch and bound
- orders of magnitude
- constraint satisfaction problems
- sat instances
- computational complexity
- data structure