Login / Signup

Minimizing Pentagons in the Plane through Automated Reasoning.

Bernardo SubercaseauxJohn MackeyMarijn J. H. HeuleRuben Martins
Published in: CoRR (2023)
Keyphrases