UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.
Dave A. D. TompkinsHolger H. HoosPublished in: SAT (2004)
Keyphrases
- stochastic local search
- max sat
- sat problem
- sat solvers
- random sat instances
- propositional satisfiability
- satisfiability problem
- exact algorithms
- lower bound
- orders of magnitude
- maximum satisfiability
- branch and bound algorithm
- weighted max sat
- computational complexity
- data structure
- graph coloring
- linear programming
- phase transition
- objective function
- learning algorithm