Skip to content

The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree.

Matthew England, James H. Davenport

VenueBCASC
Year2016
ProceedingsCASC

Browse the full CASC paper archive.