Black-Box Optimization in an Extended Search Space for SAT Solving.
Oleg ZaikinStepan KochemazovPublished in: MOTOR (2019)
Keyphrases
- black box
- sat solving
- search space
- sat solvers
- candidate solutions
- white box
- black boxes
- search tree
- optimization problems
- search algorithm
- optimization algorithm
- white box testing
- boolean satisfiability
- sat problem
- max sat
- heuristic search
- orders of magnitude
- test cases
- linear programming
- optimal solution
- database systems