A declarative modeling framework that integrates solution methods
Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more effici...
Gespeichert in:
| Veröffentlicht in: | Annals of operations research 2001-01, Vol.104 (1), p.141 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | 1 |
| container_start_page | 141 |
| container_title | Annals of operations research |
| container_volume | 104 |
| creator | Hooker, J N Hak-Jin, Kim Ottosson, G |
| description | Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any "checker" and any special-purpose "solver". In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine. [PUBLICATION ABSTRACT] |
| doi_str_mv | 10.1023/A:1013195004424 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_214508294</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>405717881</sourcerecordid><originalsourceid>FETCH-LOGICAL-p180t-e3c7bfdd6ef7c709cddd7edd7fe179c9d5350716993d47e62a9d2013eae5a16d3</originalsourceid><addsrcrecordid>eNotj0tPwzAQhC0EEqFw5mpxD-z6EcfcooqXVIkLnCuT3bQpaVxiF_4-keAwmsun-TRCXCPcIih919wjoEZvAYxR5kQUaJ0qvdb1qShAWVNareFcXKS0AwDE2haiaSRxO4Qp5P6b5T4SD_24kd0U9vwTp0-ZtyHLfsy8mRlOMsXhmPs4yj3nbaR0Kc66MCS--u-FeH98eFs-l6vXp5dlsyoPWEMuWbfuoyOquHOtA98SkeM5HaPzrSerLTisvNdkHFcqeFLzIQ5sA1akF-Lmb_cwxa8jp7zexeM0zsq1QmOhVt7oX3FnTLk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>214508294</pqid></control><display><type>article</type><title>A declarative modeling framework that integrates solution methods</title><source>EBSCOhost Business Source Complete</source><source>SpringerLink Journals - AutoHoldings</source><creator>Hooker, J N ; Hak-Jin, Kim ; Ottosson, G</creator><creatorcontrib>Hooker, J N ; Hak-Jin, Kim ; Ottosson, G</creatorcontrib><description>Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any "checker" and any special-purpose "solver". In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine. [PUBLICATION ABSTRACT]</description><identifier>ISSN: 0254-5330</identifier><identifier>EISSN: 1572-9338</identifier><identifier>DOI: 10.1023/A:1013195004424</identifier><language>eng</language><publisher>New York: Springer Nature B.V</publisher><subject>Algorithms ; Integer programming ; Language ; Linear programming ; Mathematical programming ; Operations research ; Optimization ; Propagation ; Studies ; Traveling salesman problem ; Variables</subject><ispartof>Annals of operations research, 2001-01, Vol.104 (1), p.141</ispartof><rights>Copyright Kluwer Academic Publishers Apr 2001</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Hooker, J N</creatorcontrib><creatorcontrib>Hak-Jin, Kim</creatorcontrib><creatorcontrib>Ottosson, G</creatorcontrib><title>A declarative modeling framework that integrates solution methods</title><title>Annals of operations research</title><description>Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any "checker" and any special-purpose "solver". In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine. [PUBLICATION ABSTRACT]</description><subject>Algorithms</subject><subject>Integer programming</subject><subject>Language</subject><subject>Linear programming</subject><subject>Mathematical programming</subject><subject>Operations research</subject><subject>Optimization</subject><subject>Propagation</subject><subject>Studies</subject><subject>Traveling salesman problem</subject><subject>Variables</subject><issn>0254-5330</issn><issn>1572-9338</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2001</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNotj0tPwzAQhC0EEqFw5mpxD-z6EcfcooqXVIkLnCuT3bQpaVxiF_4-keAwmsun-TRCXCPcIih919wjoEZvAYxR5kQUaJ0qvdb1qShAWVNareFcXKS0AwDE2haiaSRxO4Qp5P6b5T4SD_24kd0U9vwTp0-ZtyHLfsy8mRlOMsXhmPs4yj3nbaR0Kc66MCS--u-FeH98eFs-l6vXp5dlsyoPWEMuWbfuoyOquHOtA98SkeM5HaPzrSerLTisvNdkHFcqeFLzIQ5sA1akF-Lmb_cwxa8jp7zexeM0zsq1QmOhVt7oX3FnTLk</recordid><startdate>20010101</startdate><enddate>20010101</enddate><creator>Hooker, J N</creator><creator>Hak-Jin, Kim</creator><creator>Ottosson, G</creator><general>Springer Nature B.V</general><scope>3V.</scope><scope>7TA</scope><scope>7TB</scope><scope>7WY</scope><scope>7WZ</scope><scope>7XB</scope><scope>87Z</scope><scope>88I</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>8FL</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FR3</scope><scope>FRNLG</scope><scope>F~G</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JG9</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>KR7</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M2P</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>20010101</creationdate><title>A declarative modeling framework that integrates solution methods</title><author>Hooker, J N ; Hak-Jin, Kim ; Ottosson, G</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p180t-e3c7bfdd6ef7c709cddd7edd7fe179c9d5350716993d47e62a9d2013eae5a16d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Algorithms</topic><topic>Integer programming</topic><topic>Language</topic><topic>Linear programming</topic><topic>Mathematical programming</topic><topic>Operations research</topic><topic>Optimization</topic><topic>Propagation</topic><topic>Studies</topic><topic>Traveling salesman problem</topic><topic>Variables</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hooker, J N</creatorcontrib><creatorcontrib>Hak-Jin, Kim</creatorcontrib><creatorcontrib>Ottosson, G</creatorcontrib><collection>ProQuest Central (Corporate)</collection><collection>Materials Business File</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Access via ABI/INFORM (ProQuest)</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Engineering Research Database</collection><collection>Business Premium Collection (Alumni)</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>Materials Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Science Database</collection><collection>Engineering Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>Annals of operations research</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hooker, J N</au><au>Hak-Jin, Kim</au><au>Ottosson, G</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A declarative modeling framework that integrates solution methods</atitle><jtitle>Annals of operations research</jtitle><date>2001-01-01</date><risdate>2001</risdate><volume>104</volume><issue>1</issue><spage>141</spage><pages>141-</pages><issn>0254-5330</issn><eissn>1572-9338</eissn><abstract>Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any "checker" and any special-purpose "solver". In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine. [PUBLICATION ABSTRACT]</abstract><cop>New York</cop><pub>Springer Nature B.V</pub><doi>10.1023/A:1013195004424</doi></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0254-5330 |
| ispartof | Annals of operations research, 2001-01, Vol.104 (1), p.141 |
| issn | 0254-5330 1572-9338 |
| language | eng |
| recordid | cdi_proquest_journals_214508294 |
| source | EBSCOhost Business Source Complete; SpringerLink Journals - AutoHoldings |
| subjects | Algorithms Integer programming Language Linear programming Mathematical programming Operations research Optimization Propagation Studies Traveling salesman problem Variables |
| title | A declarative modeling framework that integrates solution methods |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-19T19%3A10%3A33IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20declarative%20modeling%20framework%20that%20integrates%20solution%20methods&rft.jtitle=Annals%20of%20operations%20research&rft.au=Hooker,%20J%20N&rft.date=2001-01-01&rft.volume=104&rft.issue=1&rft.spage=141&rft.pages=141-&rft.issn=0254-5330&rft.eissn=1572-9338&rft_id=info:doi/10.1023/A:1013195004424&rft_dat=%3Cproquest%3E405717881%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=214508294&rft_id=info:pmid/&rfr_iscdi=true |