Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.

Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson

Browse the full CASC paper archive.