2000 character limit reached
Refuting conjectures in extremal combinatorics via linear programming
Published 13 Mar 2019 in math.CO and cs.DM | (1903.05495v1)
Abstract: We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.