Leon Eifler, Ambros M. Gleixner, Jonad Pulaj. A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture. ACM Transactions on Mathematical Software, 48(2), 2022. [doi]
@article{EiflerGP22, title = {A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture}, author = {Leon Eifler and Ambros M. Gleixner and Jonad Pulaj}, year = {2022}, doi = {10.1145/3485630}, url = {https://doi.org/10.1145/3485630}, researchr = {https://researchr.org/publication/EiflerGP22}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Mathematical Software}, volume = {48}, number = {2}, }