An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.
Steven HalimRoland H. C. YapHoong Chuin LauPublished in: CP (2007)
Keyphrases
- black box
- stochastic local search
- black boxes
- satisfiability problem
- combinatorial optimisation
- white box
- phase transition
- random sat instances
- test cases
- randomly generated
- max sat
- integration testing
- orders of magnitude
- sat instances
- tree search
- white box testing
- special case
- sat problem
- temporal logic
- np complete
- linear programming
- genetic algorithm
- database