@misc{Schroeder2026Erdos278,
  author = {Schroeder, Michael},
  title = {{Erd{\H{o}}s Problem 278: Formulas and Complexity of Maximum Covered Density}},
  year = {2026},
  publisher = {Zenodo},
  version = {1},
  doi = {10.5281/zenodo.22874487},
  url = {https://doi.org/10.5281/zenodo.22874487},
  note = {Preprint with a scoped Lean and Python reproducibility companion}
}