activity
20232025
most citedAssortment Optimization For Conference Goodies With Indifferent Attendees

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.CG2023

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule +1

We present a comprehensive demonstration of how automated reasoning can assist mathematical research, both in the discovery of conjectures and in their verification. Our focus is a…