Automated symmetric constructions in discrete geometry

DOI10.1007/978-3-032-07021-0_3MaRDI QIDQ6856428zbMATH OpenFDO

Authors Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn J. H. Heule

Publication date 19 February 2026

zbMATH Keywords

computational geometrySATrealizabilityrotational symmetry

Mathematics Subject Classification ID

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

This page was built for publication: Automated symmetric constructions in discrete geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856428)