Using Integer Programming to Search for Counterexamples: A Case Study

Giuseppe Lancia, Eleonora Pippia, Franca Rinaldi. Using Integer Programming to Search for Counterexamples: A Case Study. In Alexander Kononov, Michael Khachay, Valeriy A. Kalyagin, Panos M. Pardalos, editors, Mathematical Optimization Theory and Operations Research - 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings. Volume 12095 of Lecture Notes in Computer Science, pages 69-84, Springer, 2020. [doi]

Abstract

Abstract is missing.