SCIP - a framework to integrate constraint and mixed integer programming - Achterberg, Tobias (ZIB-report, 2004)