Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson. Cylindrical algebraic decompositions for boolean combinations. In Michael B. Monagan, Gene Cooperman, Mark Giesbrecht, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. pages 125-132, ACM, 2013. [doi]
@inproceedings{BradfordDEMW13,
title = {Cylindrical algebraic decompositions for boolean combinations},
author = {Russell J. Bradford and James H. Davenport and Matthew England and Scott McCallum and David J. Wilson},
year = {2013},
doi = {10.1145/2465506.2465516},
url = {http://doi.acm.org/10.1145/2465506.2465516},
researchr = {https://researchr.org/publication/BradfordDEMW13},
cites = {0},
citedby = {0},
pages = {125-132},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013},
editor = {Michael B. Monagan and Gene Cooperman and Mark Giesbrecht},
publisher = {ACM},
isbn = {978-1-4503-2059-7},
}