REAS: Combining Numerical Optimization with SAT Solving.
Jeevana Priya InalaSicun GaoSoonho KongArmando Solar-LezamaPublished in: CoRR (2018)
Keyphrases
- numerical optimization
- sat solving
- artificial immune system
- sat solvers
- test functions
- evolution strategy
- approximation methods
- artificial bee colony
- sat problem
- boolean satisfiability
- symmetry breaking
- test problems
- svm classification
- genetic algorithm
- differential evolution
- constraint satisfaction
- constraint satisfaction problems