Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
doi 10.1145/2755996.2756678
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2015
Authors
Publisher
ACM Press
Available in full text
January 1, 2015
ACM Press