%% -*-BibTeX-*- @TechReport{AchterbergKochTuchscherer2008, author = "Tobias Achterberg and Thorsten Koch and Andreas Tuchscherer", title = "On the effect of minor changes in model formulations", number = "ZR 08-29", institution = "Zuse Institute Berlin", year = "2008", }