TY  - RPRT
TI  - Cube-based Isomorph-free Finite Model Finding
AU  - Choiwah Chow
AU  - Mikoláš Janota
AU  - João Araújo
PY  - 2025
DO  - 10.3233/faia240980
UR  - https://arxiv.org/abs/2501.08157
ID  - 2501.08157
ER  -