Cited By
View all- Heule MScheucher M(2024)Happy Ending: An Empty Hexagon in Every Set of 30 PointsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57246-3_5(61-80)Online publication date: 6-Apr-2024
- Clune JKrebbers RTraytel DPientka BZdancewic S(2023)A Formalized Reduction of Keller’s ConjectureProceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3573105.3575669(90-101)Online publication date: 11-Jan-2023