@misc{indiciaeb00d44ded6a5,
  title = {SAT-Based Techniques for Lexicographically Smallest Finite Models},
  author = {Mikoláš Janota and Choiwah Chow and João Araújo and Michael Codish and Petr Vojtěchovský},
  year = {2025},
  doi = {10.1609/aaai.v38i8.28643},
  url = {https://arxiv.org/abs/2501.08206},
  note = {Source identifier: 2501.08206}
}