@misc{indiciae3d4870a6137e,
  title = {Cube-based Isomorph-free Finite Model Finding},
  author = {Choiwah Chow and Mikoláš Janota and João Araújo},
  year = {2025},
  doi = {10.3233/faia240980},
  url = {https://arxiv.org/abs/2501.08157},
  note = {Source identifier: 2501.08157}
}