Evaluation of an MSO-Solver

2012 Proceedings of the Fourteenth Workshop on Algorithm Engineering and Experiments (ALENEX) ◽

10.1137/1.9781611972924.5 ◽

2012 ◽

pp. 55-63 ◽

Author(s):

Alexander Langer ◽

Felix Reidl ◽

Peter Rossmanith ◽

Somnath Sikdar

Download Full-text