Keyphrases
- propositional satisfiability
- search algorithm
- benchmark problems
- multi objective
- solving problems
- mathematical programming
- satisfiability testing
- data sets
- search space
- orders of magnitude
- simulated annealing
- partial solutions
- search heuristics
- sat solving
- systematic search
- stochastic local search algorithms
- learning algorithm