TY  - RPRT
TI  - Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
AU  - Lucas Michel
AU  - Pierre Mathonet
AU  - Naïm Zénaïdi
PY  - 2026
UR  - https://arxiv.org/abs/2601.09548
ID  - 2601.09548
ER  -