Xavier Allamigeon Quentin Canu Pierre-Yves Strub A Formal Disproof of Hirsch Conjecture. 17-29 2023 CPP https://doi.org/10.1145/3573105.3575678 conf/cpp/2023 db/conf/cpp/cpp2023.html#AllamigeonCS23