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