2000 character limit reached
Refuting conjectures in extremal combinatorics via linear programming (1903.05495v1)
Published 13 Mar 2019 in math.CO and cs.DM
Abstract: We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.