Automated Symmetric Constructions in Discrete Geometry
- 1 January 2026
- book chapter
- Published by Springer Nature
- p. 29-47
Abstract
No abstract availableKeywords
All Related Versions
This publication has 21 references indexed in Scilit:
- Everywhere unbalanced configurationsAdvances in Mathematics, 2025
- Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane2024
- CaDiCaL 2.02024
- Happy Ending: An Empty Hexagon in Every Set of 30 Points2024
- Two disjoint 5-holes in point setsComputational Geometry, 2020
- Complexity of Some Geometric and Topological Problems2010
- Symmetry within and between Solutions2010
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints2005
- Lines With Many Points On Both SidesDiscrete & Computational Geometry, 2003
- Axioms and Hulls1992