goSAT: Floating-point satisfiability as global optimization.
M. Ammar Ben KhadraDominik StoffelWolfgang KunzPublished in: FMCAD (2017)
Keyphrases
- global optimization
- floating point
- fixed point
- square root
- particle swarm optimization
- ant colony algorithm
- np complete
- instruction set
- global solution
- sparse matrices
- pso algorithm
- floating point arithmetic
- interval arithmetic
- global search
- inverse problems
- global optimality
- neural network
- fast fourier transform
- stereo matching
- constraint propagation
- state space
- image segmentation
- constrained global optimization