Constraint logic programming and mixed integer programming

Ho Geun Lee, Ronald M. Lee, Gang Yu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Constraint logic programming (CLP), which combines the complementary strengths of the artificial intelligence (AI) and OR approaches, is introduced as a new tool for formalizing constraint satisfaction problems that include both qualitative and quantitative constraints. CLP(R), one CLP language, is used to contrast the CLP approach with mixed integer programming (MIP). Three relative advantages of CLP over MIP are analyzed: representational efficiency for domain-specific knowledge; partial solutions; and ease of model revision. A case example of constraint satisfaction problems is implemented by MIP and CLP(R) for comparison of the two approaches. The results exhibit the representational economics of CLP with computational efficiency comparable to that of MIP.

Original languageEnglish
Title of host publicationProceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993
PublisherIEEE Computer Society
Pages543-552
Number of pages10
ISBN (Electronic)0818632305
DOIs
Publication statusPublished - 1993
Event26th Hawaii International Conference on System Sciences, HICSS 1993 - Wailea, United States
Duration: 1993 Jan 8 → …

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
Volume3
ISSN (Print)1530-1605

Conference

Conference26th Hawaii International Conference on System Sciences, HICSS 1993
CountryUnited States
CityWailea
Period93/1/8 → …

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Constraint logic programming and mixed integer programming'. Together they form a unique fingerprint.

  • Cite this

    Lee, H. G., Lee, R. M., & Yu, G. (1993). Constraint logic programming and mixed integer programming. In Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993 (pp. 543-552). [284354] (Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 3). IEEE Computer Society. https://doi.org/10.1109/HICSS.1993.284354