×

zbMATH — the first resource for mathematics

Cylindrical algebraic decompositions for Boolean combinations. (English) Zbl 1359.68327
Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 125-132 (2013).

MSC:
68W30 Symbolic computation and algebraic computation
Software:
Maple
PDF BibTeX XML Cite
Full Text: DOI