arXiv:1903.05495 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords extremal combinatorics, refuting conjectures, apply simple linear programming methods, lp solver, open conjectures Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset