Computing and estimating the volume of the solution space of SMT(LA) constraints.
Cunjing GeFeifei MaPeng ZhangJian ZhangPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- solution space
- metaheuristic
- simulated annealing
- optimal solution
- search space
- exhaustive search
- test functions
- feasible solution
- genetic algorithm
- linear constraints
- constrained optimization
- evolutionary algorithm
- constraint programming
- tabu search
- optimization problems
- rigid body
- geometric constraints
- premature convergence
- candidate solutions
- neural network
- statistical machine translation