@misc{BertholdFeydyStuckey2012, author = {Timo Berthold and Thibaut Feydy and Peter Stuckey}, title = {Rapid Learning for Binary Programs}, institution = {Zuse Institute Berlin (ZIB)}, type = {preprintmatheon}, year = {2012}, }