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. 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.
    2. 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.
    3. 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.
    4. 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.
    5. 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.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. 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.
    11. 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.
    12. 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.
    13. 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.
    14. Murat Güngör & Ali Tamer Ünal, 2025. "An Efficient Algorithm to Check Feasibility for Two-Level Discrete Lot-Sizing and Scheduling," SN Operations Research Forum, Springer, vol. 6(2), pages 1-8, June.
    15. 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.
    16. Armenia, Stefano & Franco, Eduardo & Iandolo, Francesca & Maielli, Giuliano & Vito, Pietro, 2024. "Zooming in and out the landscape: Artificial intelligence and system dynamics in business and management," Technological Forecasting and Social Change, Elsevier, vol. 200(C).
    17. 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.
    18. 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.
    19. 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.

    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. Juan F. R. Herrera & José M. G. Salmerón & Eligius M. T. Hendrix & Rafael Asenjo & Leocadio G. Casado, 2017. "On parallel Branch and Bound frameworks for Global Optimization," Journal of Global Optimization, Springer, vol. 69(3), pages 547-560, November.
    2. Gautam Mitra & Frank Ellison & Alan Scowcroft, 2007. "Quadratic programming for portfolio planning: Insights into algorithmic and computational issues Part II — Processing of portfolio planning models with discrete constraints," Journal of Asset Management, Palgrave Macmillan, vol. 8(4), pages 249-258, November.
    3. Rasulkhani, Saeid & Chow, Joseph Y.J., 2019. "Route-cost-assignment with joint user and operator behavior as a many-to-one stable matching assignment game," Transportation Research Part B: Methodological, Elsevier, vol. 124(C), pages 60-81.
    4. 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.
    5. Zhengxi Yang & Zhipeng Jiang & Wenguo Yang & Suixiang Gao, 2023. "Balanced graph partitioning based on mixed 0-1 linear programming and iteration vertex relocation algorithm," Journal of Combinatorial Optimization, Springer, vol. 45(5), pages 1-17, July.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. 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.
    11. Mohamed A. Tawhid & Ahmed F. Ali, 2016. "Simplex particle swarm optimization with arithmetical crossover for solving global optimization problems," OPSEARCH, Springer;Operational Research Society of India, vol. 53(4), pages 705-740, December.
    12. Efrat Taig & Ohad Ben-Shahar, 2019. "Gradient Surfing: A New Deterministic Approach for Low-Dimensional Global Optimization," Journal of Optimization Theory and Applications, Springer, vol. 180(3), pages 855-878, March.
    13. Zhou, Xuesong & Zhong, Ming, 2007. "Single-track train timetabling with guaranteed optimality: Branch-and-bound algorithms with enhanced lower bounds," Transportation Research Part B: Methodological, Elsevier, vol. 41(3), pages 320-341, March.
    14. Schanz, Sebastian & Schmidt, Günter & Dinh, Hai-Dung & Kersch, Mike, 2012. "Problems in taxation: An optimization approach for loss offset options," arqus Discussion Papers in Quantitative Tax Research 131, arqus - Arbeitskreis Quantitative Steuerlehre.
    15. 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.
    16. Didier Rullière & Alaeddine Faleh & Frédéric Planchet & Wassim Youssef, 2013. "Exploring or reducing noise? A global optimization algorithm in the presence of noise," Post-Print hal-00759677, HAL.
    17. Wang, Lizhi & Nikouei Mehr, Maryam, 2019. "An optimization approach to epistasis detection," European Journal of Operational Research, Elsevier, vol. 274(3), pages 1069-1076.
    18. Jouglet, Antoine & Carlier, Jacques, 2011. "Dominance rules in combinatorial optimization problems," European Journal of Operational Research, Elsevier, vol. 212(3), pages 433-444, August.
    19. 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.
    20. Lenstra, J. K. & Rinnooy Kan, A. H. G., 1980. "A Recursive Approach To The Implementation Of Enumerative Methods," Econometric Institute Archives 272202, Erasmus University Rotterdam.

    More about this item

    Keywords

    ;
    ;
    ;

    Statistics

    Access and download statistics

    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.