TY  - RPRT
TI  - On Minimal and Minimum Cylindrical Algebraic Decompositions
AU  - Lucas Michel
AU  - Pierre Mathonet
AU  - Naïm Zénaïdi
PY  - 2024
DO  - 10.1145/3666000.3669704
UR  - https://arxiv.org/abs/2411.13218
ID  - 2411.13218
ER  -