Keyphrases
- parallel search
- maximum satisfiability
- boolean satisfiability
- max sat
- theorem proving
- combinatorial problems
- sat problem
- symmetry breaking
- branch and bound algorithm
- sat solvers
- integer linear programming
- graph coloring
- theorem prover
- combinatorial optimization
- randomly generated
- genetic algorithm
- sat instances
- propositional satisfiability
- tabu search
- orders of magnitude
- simulated annealing