@misc{indiciaed9142314648d,
  title = {Investigating Simple Drawings of \$K\_n\$ using SAT},
  author = {Helena Bergold and Manfred Scheucher},
  year = {2025},
  url = {https://arxiv.org/abs/2504.02650},
  note = {Source identifier: 2504.02650}
}