Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson. Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. Volume 8660 of Lecture Notes in Computer Science, pages 44-58, Springer, 2014. [doi]
Abstract is missing.