@misc{indiciae093eb635c419,
  title = {Bounded Structural Model Finding with Symbolic Data Constraints},
  author = {Artur Boronat},
  year = {2026},
  url = {https://arxiv.org/abs/2603.22093},
  note = {Source identifier: 2603.22093}
}