TY  - RPRT
TI  - SAT-Based Techniques for Lexicographically Smallest Finite Models
AU  - Mikoláš Janota
AU  - Choiwah Chow
AU  - João Araújo
AU  - Michael Codish
AU  - Petr Vojtěchovský
PY  - 2025
DO  - 10.1609/aaai.v38i8.28643
UR  - https://arxiv.org/abs/2501.08206
ID  - 2501.08206
ER  -