Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Min ZhouFei HeXiaoyu SongShi HeGangyi ChenMing GuPublished in: Theory Comput. Syst. (2015)
Keyphrases
- solution space
- simulated annealing
- search space
- metaheuristic
- optimal solution
- exhaustive search
- test functions
- feasible solution
- real world
- linear systems
- premature convergence
- multi objective particle swarm optimization
- candidate solutions
- floating point
- satisfiability problem
- tabu search
- np complete
- evolutionary algorithm
- computational complexity
- genetic algorithm