A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).
Cunjing GeFeifei MaJian ZhangPublished in: CoRR (2015)
Keyphrases
- solution space
- simulated annealing
- search space
- metaheuristic
- test functions
- premature convergence
- exhaustive search
- feasible solution
- optimal solution
- tabu search
- stochastic sampling
- genetic algorithm
- neural network
- particle swarm optimization algorithm
- facial expressions
- special case
- candidate solutions
- objective function