Rafael Grimson. An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context. In Bernard Mourrain, Scott Schaefer, Guoliang Xu, editors, Advances in Geometric Modeling and Processing, 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings. Volume 6130 of Lecture Notes in Computer Science, pages 57-76, Springer, 2010. [doi]
Abstract is missing.