Experiments on the feasibility of using a floating-point simplex in an SMT solver.

Diego Caminha Barbosa De Oliveira, David Monniaux

Browse the full CADE paper archive.