Personensuche
X
?
Integer Programming and Combinatorial Optimization; Lecture Notes in Computer Science ,
1
Efficient Separation of RLT Cuts for Implicit and Explicit ..:
, In:
?
8
The MCF-separator - detecting and exploiting multi-commodit..
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2009,38
?
11
Counting solutions of integer programs using unrestricted s..
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2008,09
?
12
Constraint integer programming
techniques and applications
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2008,43
?
13
Property checking with constraint integer programming
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2007,37