arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Bernardo Subercaseaux"" — arXiv2 Search
Showing 1–8 of 8 results
/ Date
/ Name
Apr 23, 2026
Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
Mar 29, 2026
Automated Reencoding Meets Graph Theory
Jun 1, 2025
Unfolding Boxes with Local Constraints
May 30, 2025
Automated Symmetric Constructions in Discrete Geometry
Mar 26, 2024
Formal Verification of the Empty Hexagon Number
Mar 18, 2024
PackIt! Gamified Rectangle Packing
Nov 7, 2023
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Jan 23, 2023
The Packing Chromatic Number of the Infinite Square Grid is 15