On Minimal and Minimum Cylindrical Algebraic Decompositions.

Lucas Michel, Pierre Mathonet, Nam Znadi

Browse the full ISSAC paper archive.