TY - RPRT TI - Refuting conjectures in extremal combinatorics via linear programming AU - Adam Zsolt Wagner PY - 2019 UR - https://arxiv.org/abs/1903.05495 ID - 1903.05495 ER -