Quantifier-free Theory of Rationals
Dutertre-de Moura algorithm
simplex.pdf
—
PDF document,
232 kB (238221 bytes)