@techreport{BertholdFeydyStuckey2010, author = {Timo Berthold and Thibaut Feydy and Peter Stuckey}, title = {Rapid Learning for Binary Programs}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {10-04}, language = {eng}, year = {2010} }