You are here: Home Decision Procedures … Slides Quantifier-free Theory of Rationals

Quantifier-free Theory of Rationals

Dutertre-de Moura algorithm

PDF document icon simplex.pdf — PDF document, 232 kB (238221 bytes)