%% -*-BibTeX-*- @TechReport{ShinanoAchterbergBertholdHeinzKoch2010TR, author = "Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch", title = "Para{SCIP} -- a parallel extension of {SCIP}", number = "ZR 10-27", institution = "Zuse Institute Berlin", year = "2010", }