TY  - RPRT
TI  - Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
AU  - Milan Banković
PY  - 2024
DO  - 10.4204/eptcs.398.10
UR  - https://arxiv.org/abs/2401.11903
ID  - 2401.11903
ER  -