@article{EiflerGleixnerPulaj2022, author = {Leon Eifler and Ambros Gleixner and Jonad Pulaj}, title = {A Safe Computational Framework for Integer Programming applied to Chv{\´a}tal's Conjecture}, journal = {ACM Transactions on Mathematical Software}, volume = {48}, number = {2}, doi = {10.1145/3485630}, year = {2022}, }