Masood Feyzbakhsh Rankooh, Matti Järvisalo. Revisiting Integer Programming Encodings of Acyclicity. In Nicolas Beldiceanu, editor, 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026. Volume 379 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.