@techreport{EiflerGleixnerPulaj2021, author = {Leon Eifler and Ambros Gleixner and Jonad Pulaj}, title = {A Safe Computational Framework for Integer Programming applied to Chv{\´a}tal's Conjecture}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {21-35}, language = {eng}, year = {2021} }