Tobias Achterberg: SCIP: solving constraint integer programs. Math. Program. Comput. 1(1): 1-41 (2009)