LocalSolver 1.x: a black-box local-search solver for 0-1 programming.
Thierry BenoistBertrand EstellonFrédéric GardiRomain MegelKarim NouiouaPublished in: 4OR (2011)
Keyphrases
- black box
- black boxes
- programming language
- white box
- search algorithm
- candidate solutions
- white box testing
- search space
- genetic algorithm
- tree search
- memetic algorithm
- optimal solution
- hybrid systems
- global search
- integration testing
- tabu search
- databases
- state transition
- rule extraction
- database
- combinatorial optimization
- hard constraints
- clause learning
- artificial intelligence
- programming course
- test cases
- data sets