Automated mathematical discovery and verification: minimizing pentagons in the plane

DOI10.1007/978-3-031-66997-2_2MaRDI QIDQ6648153

Ruben Martins, Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule

Publication date: 4 December 2024

zbMATH Keywords

computational geometryMaxSATconvex pentagons

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: Automated mathematical discovery and verification: minimizing pentagons in the plane