Cylindrical algebraic decompositions for boolean combinations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Advances in cylindrical algebraic decompositionDavid Wilson. PhD thesis, University of Bath, Somerset, UK, 2014. [doi]

Cylindrical Algebraic Sub-DecompositionsDavid J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England. mics, 8(2):263-288, 2014. [doi]

Cylindrical Algebraic Decomposition by Quantifier EliminationDennis S. Arnon, Scott McCallum. eurocal 1982: 215-222

Cylindrical algebraic decomposition with equational constraintsMatthew England, Russell J. Bradford, James H. Davenport. JSC, 100:38-71, 2020. [doi]

runs on WebDSL