Christoph Buchheim, Michael Jünger. Detecting Symmetries by Branch & Cut. In Petra Mutzel, Michael Jünger, Sebastian Leipert, editors, Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers. Volume 2265 of Lecture Notes in Computer Science, pages 178-188, Springer, 2001. [doi]
Abstract is missing.