TY  - RPRT
TI  - Investigating Simple Drawings of $K_n$ using SAT
AU  - Helena Bergold
AU  - Manfred Scheucher
PY  - 2025
UR  - https://arxiv.org/abs/2504.02650
ID  - 2504.02650
ER  -