IDEAS home Printed from https://ideas.repec.org/a/inm/orinte/v31y2001i6p29-53.html
   My bibliography  Save this article

Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming

Author

Listed:
  • Irvin J. Lustig

    (ILOG, 1080 Linda Vista Avenue, Mountain View, California 94043)

  • Jean-François Puget

    (ILOG, 9 rue Verdun, BP 85, Gentilly Cedex, France)

Abstract

Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems. For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. In this short tutorial on constraint programming, we explain how it relates to familiar mathematical programming concepts and how constraint programming and mathematical programming technologies are complementary. We assume a minimal background in linear and integer programming.

Suggested Citation

  • Irvin J. Lustig & Jean-François Puget, 2001. "Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming," Interfaces, INFORMS, vol. 31(6), pages 29-53, December.
    • Handle: RePEc:inm:orinte:v:31:y:2001:i:6:p:29-53
    DOI: 10.1287/inte.31.6.29.9647
    as

    Download full text from publisher

    File URL: http://dx.doi.org/10.1287/inte.31.6.29.9647
    Download Restriction: no
    File URL: https://libkey.io/10.1287/inte.31.6.29.9647?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. E. L. Lawler & D. E. Wood, 1966. "Branch-and-Bound Methods: A Survey," Operations Research, INFORMS, vol. 14(4), pages 699-719, August.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Theresa M. Roeder & Robert M. Saltzman, 2014. "Schedule-Based Group Assignment Using Constraint Programming," INFORMS Transactions on Education, INFORMS, vol. 14(2), pages 63-72, February.
    2. Roberto Rossi & S. Armagan Tarim & Brahim Hnich & Steven Prestwich & Semra Karacaer, 2010. "Scheduling internal audit activities: a stochastic combinatorial optimization problem," Journal of Combinatorial Optimization, Springer, vol. 19(3), pages 325-346, April.
    3. Tomasz Szymanski & Ross Darrow, 2021. "Shelf placement optimization for air products," Journal of Revenue and Pricing Management, Palgrave Macmillan, vol. 20(3), pages 322-329, June.
    4. Tarim, S. Armagan & Smith, Barbara M., 2008. "Constraint programming for computing non-stationary (R, S) inventory policies," European Journal of Operational Research, Elsevier, vol. 189(3), pages 1004-1021, September.
    5. Robert M. Saltzman & Jennifer L. Meyer, 2004. "A Consulting Firm Uses Constraint Programming to Plan Personnel-Review Meetings," Interfaces, INFORMS, vol. 34(2), pages 106-112, April.
    6. Unsal, Ozgur & Oguz, Ceyda, 2013. "Constraint programming approach to quay crane scheduling problem," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 59(C), pages 108-122.
    7. Anthony Han & Elvis Li, 2014. "A constraint programming-based approach to the crew scheduling problem of the Taipei mass rapid transit system," Annals of Operations Research, Springer, vol. 223(1), pages 173-193, December.
    8. Boysen, Nils & Fliedner, Malte & Scholl, Armin, 2009. "Sequencing mixed-model assembly lines: Survey, classification and model critique," European Journal of Operational Research, Elsevier, vol. 192(2), pages 349-373, January.
    9. Enayaty-Ahangar, Forough & Rainwater, Chase E. & Sharkey, Thomas C., 2019. "A Logic-based Decomposition Approach for Multi-Period Network Interdiction Models," Omega, Elsevier, vol. 87(C), pages 71-85.
    10. Alexandra M. Newman & Martin Weiss, 2013. "A Survey of Linear and Mixed-Integer Optimization Tutorials," INFORMS Transactions on Education, INFORMS, vol. 14(1), pages 26-38, September.
    11. Bocca, Felipe Ferreira & Rodrigues, Luiz Henrique Antunes & Arraes, Nilson Antonio Modesto, 2015. "When do I want to know and why? Different demands on sugarcane yield predictions," Agricultural Systems, Elsevier, vol. 135(C), pages 48-56.
    12. Cao, Nguyen Vi & Fragnière, Emmanuel & Gauthier, Jacques-Antoine & Sapin, Marlène & Widmer, Eric D., 2010. "Optimizing the marriage market: An application of the linear assignment model," European Journal of Operational Research, Elsevier, vol. 202(2), pages 547-553, April.
    13. Alfieri, A. & Bianco, A. & Brandimarte, P. & Chiasserini, C.F., 2007. "Maximizing system lifetime in wireless sensor networks," European Journal of Operational Research, Elsevier, vol. 181(1), pages 390-402, August.
    14. Paul A Chircop & Timothy J Surendonk, 2019. "Constraint programming heuristics and software tools for amphibious embarkation planning," The Journal of Defense Modeling and Simulation, , vol. 16(3), pages 233-254, July.
    15. Yannis Pavlis & Will Recker, 2009. "A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form," Transportation Science, INFORMS, vol. 43(1), pages 98-116, February.
    16. Luscombe, Ruth & Kozan, Erhan, 2016. "Dynamic resource allocation to improve emergency department efficiency in real time," European Journal of Operational Research, Elsevier, vol. 255(2), pages 593-603.
    17. Unsal, Ozgur & Oguz, Ceyda, 2019. "An exact algorithm for integrated planning of operations in dry bulk terminals," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 126(C), pages 103-121.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Coşar Gözükırmızı & Metin Demiralp, 2019. "Solving ODEs by Obtaining Purely Second Degree Multinomials via Branch and Bound with Admissible Heuristic," Mathematics, MDPI, vol. 7(4), pages 1-23, April.
    2. Ekart, Aniko & Nemeth, S. Z., 2005. "Stability analysis of tree structured decision functions," European Journal of Operational Research, Elsevier, vol. 160(3), pages 676-695, February.
    3. Rosato, Paolo & Stellin, Giuseppe, 1995. "MULTI CRITERIA ANALYSIS IN FARM MANAGEMENT FOLLOWING THE COMMON AGRICULTURAL POLICY REFORM: AN APPLICATION OF MULTI-OBJECTIVE INTEGER LINEAR PROGRAMMING; Proceedings of the 4th Minnesota Padova Confer," Working Papers 14414, University of Minnesota, Center for International Food and Agricultural Policy.
    4. Kezong Tang & Xiong-Fei Wei & Yuan-Hao Jiang & Zi-Wei Chen & Lihua Yang, 2023. "An Adaptive Ant Colony Optimization for Solving Large-Scale Traveling Salesman Problem," Mathematics, MDPI, vol. 11(21), pages 1-26, October.
    5. Jiancheng Long & Wai Yuen Szeto, 2019. "Link-Based System Optimum Dynamic Traffic Assignment Problems in General Networks," Operations Research, INFORMS, vol. 67(1), pages 167-182, January.
    6. Amine Lamine & Mahdi Khemakhem & Brahim Hnich & Habib Chabchoub, 2016. "Solving constrained optimization problems by solution-based decomposition search," Journal of Combinatorial Optimization, Springer, vol. 32(3), pages 672-695, October.
    7. Weiqiang Pan & Zhilong Shan & Ting Chen & Fangjiong Chen & Jing Feng, 2016. "Optimal pilot design for OFDM systems with non-contiguous subcarriers based on semi-definite programming," Telecommunication Systems: Modelling, Analysis, Design and Management, Springer, vol. 63(2), pages 297-305, October.
    8. Wang, Lizhi & Nikouei Mehr, Maryam, 2019. "An optimization approach to epistasis detection," European Journal of Operational Research, Elsevier, vol. 274(3), pages 1069-1076.
    9. Kyoungmi Hwang & Dohyun Kim & Kyungsik Lee & Chungmok Lee & Sungsoo Park, 2017. "Embedded variable selection method using signomial classification," Annals of Operations Research, Springer, vol. 254(1), pages 89-109, July.
    10. Drexl, Andreas, 1990. "Scheduling of project networks by job assignment," Manuskripte aus den Instituten für Betriebswirtschaftslehre der Universität Kiel 247, Christian-Albrechts-Universität zu Kiel, Institut für Betriebswirtschaftslehre.
    11. Yi-Feng Hung & Wei-Chih Chen, 2011. "A heterogeneous cooperative parallel search of branch-and-bound method and tabu search algorithm," Journal of Global Optimization, Springer, vol. 51(1), pages 133-148, September.
    12. Fox, B. L. & Lenstra, J. K. & Rinnooy Kan, A. H. G. & Schrage, L. E., 1977. "Branching From The Largest Upper Bound: Folklore And Facts," Econometric Institute Archives 272158, Erasmus University Rotterdam.
    13. Cameron MacKenzie & Hiba Baroud & Kash Barker, 2016. "Static and dynamic resource allocation models for recovery of interdependent systems: application to the Deepwater Horizon oil spill," Annals of Operations Research, Springer, vol. 236(1), pages 103-129, January.
    14. de Mast, Jeroen, 2011. "The tactical use of constraints and structure in diagnostic problem solving," Omega, Elsevier, vol. 39(6), pages 702-709, December.
    15. Gatu, Cristian & Yanev, Petko I. & Kontoghiorghes, Erricos J., 2007. "A graph approach to generate all possible regression submodels," Computational Statistics & Data Analysis, Elsevier, vol. 52(2), pages 799-815, October.
    16. Robin Mueller-Bady & Martin Kappes & Inmaculada Medina-Bulo & Francisco Palomo-Lozano, 2019. "An evolutionary hybrid search heuristic for monitor placement in communication networks," Journal of Heuristics, Springer, vol. 25(6), pages 861-899, December.
    17. Jourdan, L. & Basseur, M. & Talbi, E.-G., 2009. "Hybridizing exact methods and metaheuristics: A taxonomy," European Journal of Operational Research, Elsevier, vol. 199(3), pages 620-629, December.
    18. Thomas L. Morin & Roy E. Marsten, 1974. "Brand-and-Bound Strategies for Dynamic Programming," Discussion Papers 106, Northwestern University, Center for Mathematical Studies in Economics and Management Science.
    19. Baghersad, Milad & Emadikhiav, Mohsen & Huang, C. Derrick & Behara, Ravi S., 2023. "Modularity maximization to design contiguous policy zones for pandemic response," European Journal of Operational Research, Elsevier, vol. 304(1), pages 99-112.
    20. Qiuping Ni & Yuanxiang Tang, 2023. "A Bibliometric Visualized Analysis and Classification of Vehicle Routing Problem Research," Sustainability, MDPI, vol. 15(9), pages 1-37, April.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:inm:orinte:v:31:y:2001:i:6:p:29-53. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Asher (email available below). General contact details of provider: https://edirc.repec.org/data/inforea.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.