PolySCIP. - Ralf Borndörfer; Sebastian Schenker; Martin Skutella; Timo Strunk (ICMS, 2016)