Cylindrical algebraic decompositions for boolean combinations.

Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson

Browse the full ISSAC paper archive.