XOR Local Search for Boolean Brent Equations.
Wojciech NawrockiZhenjun LiuAndreas FröhlichMarijn J. H. HeuleArmin BierePublished in: SAT (2021)
Keyphrases
- search algorithm
- boolean functions
- real valued
- memetic algorithm
- search space
- genetic algorithm
- simulated annealing
- differential equations
- tabu search
- optimal solution
- systematic search
- nonlinear equations
- search procedure
- global search
- job shop scheduling problem
- hybrid ga
- linear equations
- numerical solution
- database
- initial solution
- boolean queries
- neighborhood search
- decision trees
- multiscale
- genetic algorithm ga