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.
年:
2007
出版社:
Verlag Dr. Hut
言語:
english
ページ:
418
ISBN 10:
3899638921
ISBN 13:
9783899638929
ファイル:
PDF, 3.34 MB
IPFS:
,
english, 2007