Abstract
We introduce a new global constraint for modeling and solving network flow problems in constraint programming. We describe the declarative and operational semantics of the flow constraint and illustrate its use through a number of applications.
This work was partially supported by the European Commission, Growth Programme, Research Project LISCOS - Large Scale Integrated Supply Chain Optimisation Software, Contract No. G1RD-CT-1999-00034
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Aggoun and N. Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17(7):57–73, 1993.
R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network flows: theory, algorithms and applications. Prentice Hall, 1993.
R. K. Ahuja, J. B. Orlin, G. M. Sechi, and P. Zuddas. Algorithms for the simple equal flow problem. Management Science, 45(10):1440–1455, 1999.
N. Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. In Principles and Practice of Constraint Programming, CP’2000, Singapore, pages 52–66. Springer, LNCS 1894, 2000.
N. Beldiceanu and E. Contejean. Introducing global constraints in CHIP. Mathl. Comput. Modelling, 20(12):97–123, 1994.
N. Beldiceanu, H. Simonis, Ph. Kay, and P. Chan. The CHIP system, 1997. http://www.cosytec.fr/whitepapers/PDF/english/chip3_OnlinePDF.pdf.
A. Bockmayr and T. Kasper. Branch-and-infer: A unifying framework for integer and finite domain constraint programming. INFORMS J. Computing, 10(3):287–300, 1998.
H. A. Eiselt and C.-L. Sandblom. Integer programming and network models. Springer, 2000.
F. Focacci, A. Lodi, and M. Milano. Cutting planes in constraint programming: An hybrid approach. In Principles and Practice of Constraint Programming, CP’2000, Singapore, pages 187–201. Springer, LNCS 1894, 2000.
A. J. Hoffman. Some recent applications of the theory of linear inequalities to extremal combinatorial analysis. Proceedings of Symposia on Applied Mathematics, 10:113–127, 1960.
H. J. Kim and J. N. Hooker. Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach. GSIA, Carnegie Mellon University, January 2001.
K. Mehlhorn and S. Thiel. Faster algorithms for bound-consistency of the sortedness and the alldifferent constraint. In Principles and Practice of Constraint Programming, CP’2000, Singapore, pages 306–319. Springer, LNCS 1894, 2000.
M. Milano, G. Ottosson, P. Refalo, and E. S. Thorsteinsson. Global constraints: When constraint programming meets operation research. INFORMS Journal on Computing, Special Issue on the Merging of Mathematical Programming and Constraint Programming, March 2001. Submitted.
G. Ottosson, E. S. Thorsteinsson, and J. N. Hooker. Mixed global constraints and inference in hybrid CLP-IP solvers. Annals of Mathematics and Artificial Intelligence, Special Issue on Large Scale Combinatorial Optimisation and Constraints, March 2001. Accepted for publication.
P. Refalo. Linear formulation of constraint programming models and hybrid solvers. In Principles and Practice of Constraint Programming, CP’2000, Singapore, pages 369–383. Springer, LNCS 1894, 2000.
J.-C. Régin and M. Rueher. A global constraint combining a sum constraint and difference constraint. In Principles and Practice of Constraint Programming, CP’2000, Singapore, pages 384–395. Springer, LNCS 1894, 2000.
H. Simonis, A. Aggoun, N. Beldiceanu, and E. Bourreau. Complex constraint abstraction: Global constraint visualisation. In Analysis and Visualization Tools for Constraint Programming, pages 299–317. Springer, LNCS 1870, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bockmayr, A., Pisaruk, N., Aggoun, A. (2001). Network Flow Problems in Constraint Programming. In: Walsh, T. (eds) Principles and Practice of Constraint Programming — CP 2001. CP 2001. Lecture Notes in Computer Science, vol 2239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45578-7_14
Download citation
DOI: https://doi.org/10.1007/3-540-45578-7_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42863-3
Online ISBN: 978-3-540-45578-3
eBook Packages: Springer Book Archive