Konrad-Zuse-Zentrum f�r Informationstechnik Berlin
Division Scientific Computing
Department Optimization
SCIP
S
olving
C
onstraint
I
nteger
P
rograms
Back to the homepage
.