Constraint Integer Programming
Tobias Achterberg
This work introduces the novel paradigm of constraint integer programming (CIP), which integrates constraint programming (CP) and mixed integer programming (MIP) modeling and solving techniques. It is supplemented by the software SCIP, which is a solver and framework for constraint integer programming that also features SAT solving techniques. SCIP is freely available in source code for academic and non-commercial purposes.
Năm:
2007
Nhà xuát bản:
Verlag Dr. Hut
Ngôn ngữ:
english
Trang:
418
ISBN 10:
3899638921
ISBN 13:
9783899638929
File:
PDF, 3.34 MB
IPFS:
,
english, 2007