Alexander Langer, Felix Reidl, Peter Rossmanith, Somnath Sikdar. Evaluation of an MSO-Solver. In David A. Bader, Petra Mutzel, editors, Proceedings of the 14th Meeting on Algorithm Engineering & Experiments, ALENEX 2012, The Westin Miyako, Kyoto, Japan, January 16, 2012. pages 55-63, SIAM / Omnipress, 2012. [doi]
Abstract is missing.