Sven Mallach. Linear Ordering Based MIP Formulations for the Vertex Separation or Pathwidth Problem. In Ljiljana Brankovic, Joe Ryan 0001, William F. Smyth, editors, Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers. Volume 10765 of Lecture Notes in Computer Science, pages 327-340, Springer, 2017. [doi]