Refuting conjectures in extremal combinatorics via linear programming
scientific article