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