@incollection{GeyerHillerMeinert2010, author = {Markus Geyer and Benjamin Hiller and Sascha Meinert}, title = {Modeling}, booktitle = {Algorithm Engineering}, editor = {Matthias M{\"u}ller-Hannemann and Stefan Schirra}, volume = {5971}, pages = {16 -- 57}, year = {2010}, }