Juan Pablo Traverso Gianini

Erdős Problem #81 — Chordal Clique Partitions: Papers I–III

Description This record contains three official author preprints from a research program on Erdős Problem #81, concerning the asymptotic edge clique-partition number of chordal graphs. Each paper is accompanied in the linked GitHub repository by its Lean 4 formalization, frozen s...