TY  - RPRT
TI  - Verification and generation of unrefinable partitions
AU  - Riccardo Aragona
AU  - Lorenzo Campioni
AU  - Roberto Civino
AU  - Massimo Lauria
PY  - 2023
UR  - https://arxiv.org/abs/2112.15096
ID  - 2112.15096
ER  -