Logic, Optimization, and Constraint Programming

Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use lo...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	INFORMS journal on computing Ročník 14; číslo 4; s. 295 - 321
Hlavný autor:	Hooker, John N
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Linthicum INFORMS 22.09.2002 Institute for Operations Research and the Management Sciences
Predmet:	Algorithms Artificial intelligence Boolean Computer programming constraint programming Integer programming Linear programming Logic programming logic-based methods Mathematical programming Optimization Propagation Studies Theory of constraints Variables
ISSN:	1091-9856, 1526-5528, 1091-9856
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Abstract	Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use logical inference in different ways, and how these ways can be combined. It sketches the intellectual background for recent efforts at integration. It traces the history of logic-based methods in optimization and the development of constraint programming in artificial intelligence. It concludes with a review of recent research, with emphasis on schemes for integration, relaxation methods, and practical applications.
AbstractList	Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use logical inference in different ways, and how these ways can be combined. It sketches the intellectual background for recent efforts at integration. It traces the history of logic-based methods in optimization and the development of constraint programming in artificial intelligence. It concludes with a review of recent research, with emphasis on schemes for integration, relaxation methods, and practical applications. Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use logical inference in different ways, and how these ways can be combined. It sketches the intellectual background for recent efforts at integration. It traces the history of logic-based methods in optimization and the development of constraint programming in artificial intelligence. It concludes with a review of recent research, with emphasis on schemes for integration, relaxation methods, and practical applications. [PUBLICATION ABSTRACT]
Audience	Academic
Author	Hooker, John N
Author_xml	– sequence: 1 fullname: Hooker, John N
BookMark	eNqNkV1LwzAUhoMo6KZ_wKshXq4130svx_ALBvNCr0OapjVjTWbSIfrrTa2gyBDJRUJ4npyT847AofPOAHCOYI6wmF3Ztdc5ojnNccFyLLA4ACeIYZ4xhsVhOsMCZYVg_BiMYlxDCCmhxQm4WvrG6ulkte1sa99VZ72bTpSrJgvvYheUdd3kIfgmqLa1rjkFR7XaRHP2tY_B08314-IuW65u7xfzZabpDHcZhVzPBCspqxEkuiICl1xXs6quCyI0xKaCVEOqGGJ1SRU3yigsSoUMKUtTkjG4GN7dBv-yM7GTa78LLpWUGEJGOOH8G2rUxkjrap8a1q2NWs4LijmhWCRougdqjDNBbdIUa5uuf-LZHjytyrRW7-PxwOvgYwymlttgWxXeJIKyz0b22UhEJZUpG9lnkyTxS9K2-5x9P_HN3yoa1L610Mb_lbscnGfbPL_aMPyrl3-y5AMx4rIj
CitedBy_id	crossref_primary_10_1016_j_compchemeng_2022_107728 crossref_primary_10_1007_s10107_022_01778_8 crossref_primary_10_1016_j_compchemeng_2005_09_011 crossref_primary_10_1049_itr2_70023 crossref_primary_10_1137_S1052623402420346 crossref_primary_10_1287_ijoc_2024_0603 crossref_primary_10_1007_s11081_014_9267_5 crossref_primary_10_1080_00207543_2025_2551245 crossref_primary_10_1007_s00357_014_9155_x crossref_primary_10_1016_j_cie_2025_111046 crossref_primary_10_1145_2658993 crossref_primary_10_1134_S0040579514050182 crossref_primary_10_1016_j_ijproman_2007_08_004 crossref_primary_10_1287_ijoc_2019_0907 crossref_primary_10_1016_j_ijnaoe_2025_100675 crossref_primary_10_1287_trsc_2022_1184 crossref_primary_10_1287_moor_2018_0946 crossref_primary_10_1287_opre_1090_0733 crossref_primary_10_1007_s10898_017_0602_1 crossref_primary_10_1088_1757_899X_226_1_012113 crossref_primary_10_15302_J_FEM_2017049 crossref_primary_10_1080_03052151003759117 crossref_primary_10_1016_j_ejor_2015_11_020 crossref_primary_10_1109_JPROC_2018_2849003 crossref_primary_10_1016_j_ejor_2011_01_016 crossref_primary_10_1016_j_ejor_2006_06_078 crossref_primary_10_1093_logcom_exab083 crossref_primary_10_2478_mspe_2024_0012 crossref_primary_10_1016_j_ejor_2012_03_025 crossref_primary_10_1287_ijoc_2019_0937 crossref_primary_10_1007_s13675_017_0091_5 crossref_primary_10_1080_03155986_2024_2381306 crossref_primary_10_2478_v10286_012_0016_6 crossref_primary_10_1002_aic_10617 crossref_primary_10_1287_opre_1080_0559 crossref_primary_10_1007_s10107_012_0566_3 crossref_primary_10_1061_JCEMD4_COENG_15279 crossref_primary_10_1287_ijoc_2014_0610 crossref_primary_10_1007_s10951_008_0079_3 crossref_primary_10_1016_j_cie_2017_03_017 crossref_primary_10_1155_2016_5102616 crossref_primary_10_1007_s10589_020_00169_z crossref_primary_10_1016_j_cor_2012_02_007 crossref_primary_10_1016_j_ejor_2025_07_016 crossref_primary_10_1016_j_omega_2020_102311 crossref_primary_10_1155_2016_1532420 crossref_primary_10_1155_2016_5201937 crossref_primary_10_1016_j_compchemeng_2012_06_038 crossref_primary_10_1016_j_ces_2015_05_021 crossref_primary_10_1146_annurev_chembioeng_060713_035859 crossref_primary_10_1145_2499370_2462163 crossref_primary_10_1016_j_ejor_2013_04_023 crossref_primary_10_1016_j_compchemeng_2018_03_004 crossref_primary_10_1287_ijoc_1080_0283 crossref_primary_10_1016_j_cor_2011_08_001 crossref_primary_10_1016_j_physa_2017_02_052 crossref_primary_10_1007_s13042_019_00935_4 crossref_primary_10_1016_j_compchemeng_2004_03_016 crossref_primary_10_1016_j_cor_2020_105111 crossref_primary_10_1007_s10601_017_9280_3 crossref_primary_10_1007_s10669_013_9460_7 crossref_primary_10_1002_net_10110 crossref_primary_10_1287_ijoc_14_4_322_2825
Cites_doi	10.1137/0123007 10.1287/mnsc.16.8.B495 10.1145/129393.129398 10.1287/opre.23.3.434 10.1145/79204.79210 10.1016/0097-3165(76)90055-8 10.1287/opre.49.1.42.11196 10.1111/j.2517-6161.1988.tb01721.x 10.1287/mnsc.42.9.1229 10.1017/S0269888900001077 10.1023/A:1013195004424 10.1016/0304-3975(86)90027-7 10.1145/800133.804350 10.1016/B978-0-12-566780-7.50011-8 10.1007/BF01531074 10.1287/ijoc.5.2.97 10.1016/0166-218X(87)90026-6 10.1287/ijoc.10.3.261 10.1287/ijoc.10.3.287 10.1007/BF02591796 10.1073/pnas.53.2.260 10.1016/0020-0190(95)00019-9 10.1007/3-540-45578-7_2 10.2307/2307285 10.1287/trsc.28.2.104 10.7551/mitpress/5625.001.0001 10.1007/BF00143880 10.1016/0166-218X(90)90139-4 10.1007/BF00137871 10.1137/0601042 10.1287/ijoc.1.1.7 10.1145/41625.41635 10.1016/0305-0548(94)90089-2 10.1007/978-3-642-96826-6 10.1007/BF02612354 10.1002/9781118033036 10.1016/S0166-218X(99)00100-6 10.1016/0098-1354(93)E0010-7 10.1016/0166-218X(90)90142-Y 10.1016/0305-0548(90)90007-T 10.1007/978-3-642-85823-9 10.1007/s101070050061 10.1002/(SICI)1097-024X(199801)28:1<49::AID-SPE147>3.0.CO;2-R 10.1287/ijoc.10.3.276 10.1016/0377-2217(93)E0359-6 10.1016/B978-0-12-468650-2.50015-8 10.1007/3-540-58601-6_111 10.1007/BF00934810 10.1016/0098-1354(95)00219-7 10.2307/2308219 10.1016/S0167-6423(97)00008-7 10.1613/jair.1 10.1002/9781118033166 10.1287/ijoc.13.4.258.9733 10.1016/0377-2217(90)90419-C 10.1137/0608024 10.1007/3-540-45578-7_1 10.1137/0607033 10.1016/0098-1354(93)80073-V 10.1007/3-540-49481-2_28 10.1007/BF01531033 10.1145/321694.321700 10.1016/S0098-1354(96)00318-3 10.1023/A:1018904229454 10.1017/S0269888901000030 10.1007/BF01386316 10.1287/ijoc.10.3.301 10.1007/BF02186368 10.1016/S0167-5060(08)70342-X 10.1007/978-3-540-48085-3_14 10.1016/S0004-3702(99)00059-4 10.1016/0196-6774(84)90006-3 10.1007/BF02591797 10.1007/BF00933095 10.1007/BF02591742 10.1016/0888-613X(87)90024-7 10.1145/322290.322292 10.1016/0305-0548(86)90056-0 10.1016/0166-218X(92)00119-7 10.1145/102782.102789 10.1287/ijoc.1.3.137 10.1007/3-540-58601-6_105 10.1007/978-3-642-96873-0 10.1016/0098-1354(91)87007-V 10.1007/BF01607055
ContentType	Journal Article
Copyright	COPYRIGHT 2002 Institute for Operations Research and the Management Sciences Copyright Institute for Operations Research and the Management Sciences Fall 2002
Copyright_xml	– notice: COPYRIGHT 2002 Institute for Operations Research and the Management Sciences – notice: Copyright Institute for Operations Research and the Management Sciences Fall 2002
DBID	AAYXX CITATION 0U~ 1-H 3V. 7WY 7WZ 7XB 87Z 8AL 8AO 8FE 8FG 8FK 8FL ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ HCIFZ JQ2 K60 K6~ K7- L.- L.0 M0C M0N P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PYYUZ Q9U
DOI	10.1287/ijoc.14.4.295.2828
DatabaseName	CrossRef Global News & ABI/Inform Professional Trade PRO ProQuest Central (Corporate) ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) ProQuest Pharma Collection ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology collection ProQuest One Community College ProQuest Central Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ABI/INFORM Professional Standard ABI/INFORM Global Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business (UW System Shared) ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ABI/INFORM Collection China ProQuest Central Basic
DatabaseTitle	CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Trade PRO ProQuest Pharma Collection ABI/INFORM Complete ProQuest Central Global News & ABI/Inform Professional ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ABI/INFORM Professional Standard ProQuest Central Korea ProQuest Central (New) ABI/INFORM Complete (Alumni Edition) Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ABI/INFORM China ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Business (Alumni) ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) Business Premium Collection (Alumni)
DatabaseTitleList	CrossRef ABI/INFORM Global (Corporate)
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Computer Science
EISSN	1526-5528 1091-9856
EndPage	321
ExternalDocumentID	341711811 A94263428 10_1287_ijoc_14_4_295_2828 ijoc.14.4.295.2828 joc_14_4_295
Genre	Research Article - Special Issue on the Merging of Mathematical Programming and Constraint Programming Feature
GroupedDBID	1AW 29I 3V. 4.4 4S 5GY 7WY 8AL 8AO 8FE 8FG 8FL 8VB AAPBV ABDBF ABFLS ABPTK ABUWG ACNCT ADCOW AEILP AENEX AFKRA AKVCP ALMA_UNASSIGNED_HOLDINGS ARAPS ARCSS AZQEC BENPR BEZIV BGLVJ BPHCQ CS3 DU5 DWQXO EAD EAP EBA EBE EBR EBS EBU ECS EDO EHE EJD EMI EMK EPL EST ESX F5P FRNLG GNUQQ GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH HCIFZ I-F IAO ICD IEA IGS IL9 IOF ITC K6 K60 K6V K7- M0C M0N MV1 N95 NIEAY P2P P62 PQEST PQQKQ PQUKI PRINS PROAC QWB RPU TH9 TN5 TUS XI7 Y99 ZL0 ZY4 ACYGS XFK .4S .DC 18M AADHG AAYXX ABDNZ ACGFO AEGXH AEMOZ AFFHD AHQJS AIAGR BAAKF CCPQU CITATION EBO K1G K6~ PHGZM PHGZT PQBIZ PQBZA PQGLB XOL 0U~ 1-H 7XB 8FK JQ2 L.- L.0 PKEHL Q9U
ID	FETCH-LOGICAL-c472t-406c785b45f103cd382b6cd7dff938c02ed04c04a515fb4a6eaea28ba1e3bbeb3
IEDL.DBID	K7-
ISICitedReferencesCount	102
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000179070400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1091-9856
IngestDate	Fri Jul 25 23:49:55 EDT 2025 Tue Nov 11 11:18:18 EST 2025 Mon Nov 10 01:57:16 EST 2025 Tue Nov 04 18:43:42 EST 2025 Tue Nov 18 22:32:48 EST 2025 Sat Nov 29 03:32:05 EST 2025 Tue Jan 05 23:25:03 EST 2021 Fri Jan 15 03:35:36 EST 2021
IsPeerReviewed	true
IsScholarly	true
Issue	4
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c472t-406c785b45f103cd382b6cd7dff938c02ed04c04a515fb4a6eaea28ba1e3bbeb3
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14
PQID	200536366
PQPubID	46392
PageCount	27
ParticipantIDs	gale_infotracmisc_A94263428 informs_primary_10_1287_ijoc_14_4_295_2828 highwire_informs_joc_14_4_295 proquest_journals_200536366 gale_infotracgeneralonefile_A94263428 gale_infotracacademiconefile_A94263428 crossref_primary_10_1287_ijoc_14_4_295_2828 crossref_citationtrail_10_1287_ijoc_14_4_295_2828
ProviderPackageCode	Y99 RPU NIEAY
PublicationCentury	2000
PublicationDate	20020922
PublicationDateYYYYMMDD	2002-09-22
PublicationDate_xml	– month: 09 year: 2002 text: 20020922 day: 22
PublicationDecade	2000
PublicationPlace	Linthicum
PublicationPlace_xml	– name: Linthicum
PublicationTitle	INFORMS journal on computing
PublicationYear	2002
Publisher	INFORMS Institute for Operations Research and the Management Sciences
Publisher_xml	– name: INFORMS – name: Institute for Operations Research and the Management Sciences
References	B20 B21 B22 B23 B24 B25 B26 B27 B28 B29 B158 B159 B156 B157 B154 B155 B152 B153 B150 B151 B30 B31 B32 B33 B34 B35 B36 B37 B38 B39 B1 B2 B165 B3 B166 B4 B163 B5 B164 B6 B161 B7 B162 B8 B9 B160 B40 B41 B42 B43 B44 B45 B46 B47 B48 B49 B50 B51 B52 B53 B54 B55 B56 B57 B58 B59 B109 B107 B108 B105 B106 B103 B104 B101 B102 B100 B60 B61 B62 B63 B64 B65 B66 B67 B68 B69 B118 B119 B116 B117 B114 B115 B112 B113 B110 B111 B70 B71 B72 B73 B74 B75 B76 B77 B78 B79 B129 B127 B128 B125 B126 B123 B124 B121 B122 B120 B80 B81 B82 B83 B84 B85 B86 B87 B88 B89 B138 B139 B136 B137 B134 B135 B132 B133 B130 B131 B90 B91 B92 B93 B94 B95 B96 B97 B10 B98 B11 B99 B12 B13 B14 B15 B16 B17 B18 B19 B149 B147 B148 B145 B146 B143 B144 B141 B142 B140 Kowalski R. (B106) 1979 Hailperin T. (B68) 1986 Kim Hak-Jin (B105) 2001 Sterling L. (B144) 1986 Ottosson G. (B121) 1999 Hooker J. N. (B90) 1998 Jeroslow R. E. (B101) 1989; 40 Junker U. (B104) 1999; 1713 McAloon K. (B116) 1996 Williams H. P. (B158) 2001 Colmerauer A. (B37) 1987; 12 Granot F. (B63) 1971; 12 Osorio M. A. (B119) 1996 Sellmann M. (B140) 2001 Dechter R. (B44) 2000 Wolsey L. A. (B164) 1998 Gaschnig J. (B57) 1978 Dechter R. (B45) 1988 Heipcke S. (B77) 1998 Lauvergne M. (B110) 2001 Bertele U. (B22) 1972 Solnon C. (B143) 1997 Wallace M. (B152) 1997; 12 Osorio M. A. (B118) 2001 Hooker J. N. (B84) 1997 Ottosson G. (B120) 2000 Beringer H. (B21) 1995 Van Hentenryck P. (B148) 1989 Tsang E. (B146) 1993 Dincbas M. (B47) 1988 Zabih R. (B166) 1990 Jaffar J. (B96) 1987 El Sakkout L. (B48) 1998 Fortet R. (B53) 1960; 1 Granot F. (B64) 1975; 17 Hansen P. (B73) 1969; 11 Régin J.-C. (B134) 1994 Puget J.-F. (B126) 1995 Fortet R. (B52) 1959; 1 Barth P. (B14) 1995 Hooker J. N. (B91) 1999 Van Hentenryck P. (B149) 1999 Hailperin T. (B67) 1976 Oplobedu A. (B117) 1989; 1 Puget J.-F. (B125) 1994 Lauritzen S. L. (B109) 1988; 50 Boole G. (B27) 1952 Lau H. C. (B107) 1999 Williams H. P. (B154) 1977; 13 Gaschnig J. (B56) 1977 Wilson J. M. (B163) 1996; 36 Williams H. P. (B155) 1987; 2 Focacci F. (B51) 1999 Berge C. (B20) 1970 Boole G. (B26) 1847 Hansen P. (B74) 1970; 273 Réfalo P. (B133) 1999; 1713 Hammer P. L. (B71) 1963; 14 Little J. (B111) 1995 Hooker J. N. (B93) 1995 Puget J.-F. (B124) 1992
References_xml	– ident: B12 – ident: B35 – ident: B87 – ident: B164 – ident: B141 – ident: B135 – ident: B112 – ident: B41 – ident: B158 – ident: B7 – ident: B29 – ident: B64 – ident: B73 – ident: B50 – ident: B96 – ident: B21 – ident: B121 – ident: B106 – ident: B144 – ident: B129 – ident: B58 – ident: B61 – ident: B161 – ident: B109 – ident: B115 – ident: B132 – ident: B2 – ident: B69 – ident: B82 – ident: B44 – ident: B49 – ident: B24 – ident: B101 – ident: B150 – ident: B126 – ident: B147 – ident: B17 – ident: B93 – ident: B30 – ident: B76 – ident: B38 – ident: B55 – ident: B85 – ident: B9 – ident: B10 – ident: B110 – ident: B133 – ident: B43 – ident: B66 – ident: B118 – ident: B1 – ident: B23 – ident: B104 – ident: B127 – ident: B130 – ident: B18 – ident: B79 – ident: B146 – ident: B94 – ident: B52 – ident: B37 – ident: B71 – ident: B113 – ident: B138 – ident: B163 – ident: B88 – ident: B155 – ident: B26 – ident: B4 – ident: B46 – ident: B63 – ident: B80 – ident: B149 – ident: B99 – ident: B152 – ident: B124 – ident: B107 – ident: B91 – ident: B32 – ident: B15 – ident: B57 – ident: B166 – ident: B74 – ident: B60 – ident: B139 – ident: B116 – ident: B160 – ident: B3 – ident: B68 – ident: B154 – ident: B45 – ident: B83 – ident: B125 – ident: B102 – ident: B151 – ident: B25 – ident: B148 – ident: B92 – ident: B16 – ident: B77 – ident: B31 – ident: B39 – ident: B54 – ident: B59 – ident: B13 – ident: B86 – ident: B136 – ident: B111 – ident: B140 – ident: B119 – ident: B157 – ident: B40 – ident: B28 – ident: B65 – ident: B6 – ident: B48 – ident: B97 – ident: B105 – ident: B122 – ident: B143 – ident: B34 – ident: B51 – ident: B72 – ident: B137 – ident: B162 – ident: B14 – ident: B108 – ident: B114 – ident: B120 – ident: B156 – ident: B20 – ident: B89 – ident: B27 – ident: B62 – ident: B81 – ident: B5 – ident: B47 – ident: B98 – ident: B100 – ident: B153 – ident: B123 – ident: B33 – ident: B165 – ident: B75 – ident: B56 – ident: B90 – ident: B8 – ident: B36 – ident: B11 – ident: B84 – ident: B117 – ident: B134 – ident: B142 – ident: B42 – ident: B67 – ident: B159 – ident: B22 – ident: B95 – ident: B128 – ident: B103 – ident: B131 – ident: B145 – ident: B78 – ident: B70 – ident: B19 – ident: B53 – volume-title: Proceedings, SPICIS'92 year: 1992 ident: B124 – volume-title: Foundations of Constraint Satisfaction year: 1993 ident: B146 – ident: B11 doi: 10.1137/0123007 – ident: B55 doi: 10.1287/mnsc.16.8.B495 – ident: B97 doi: 10.1145/129393.129398 – ident: B61 doi: 10.1287/opre.23.3.434 – ident: B38 doi: 10.1145/79204.79210 – volume-title: General Mixed Logical/Linear Solver year: 1996 ident: B119 – volume: 12 start-page: 159 year: 1997 ident: B152 publication-title: ICL Systems Journal – ident: B153 doi: 10.1016/0097-3165(76)90055-8 – start-page: 30 volume-title: CP99 Post-Conference Workshop on Large Scale Combinatorial Optimization and Constraints year: 1999 ident: B107 – ident: B25 doi: 10.1287/opre.49.1.42.11196 – volume: 50 start-page: 157 year: 1988 ident: B109 publication-title: Journal of the Royal Statistical Society B doi: 10.1111/j.2517-6161.1988.tb01721.x – volume: 12 year: 1987 ident: B37 publication-title: BYTE Magazine – ident: B10 doi: 10.1287/mnsc.42.9.1229 – ident: B92 doi: 10.1017/S0269888900001077 – volume-title: Workshop on Decision Theoretic Planning, AIPS 2000 year: 2000 ident: B44 – volume-title: Constraint Satisfaction in Logic Programming year: 1989 ident: B148 – ident: B88 doi: 10.1023/A:1013195004424 – ident: B98 doi: 10.1016/0304-3975(86)90027-7 – ident: B138 doi: 10.1145/800133.804350 – ident: B31 doi: 10.1016/B978-0-12-566780-7.50011-8 – ident: B87 doi: 10.1007/BF01531074 – ident: B75 doi: 10.1287/ijoc.5.2.97 – ident: B100 doi: 10.1016/0166-218X(87)90026-6 – start-page: 1 volume-title: Advances in Computational and Stochastic Optimization, Logic Programming and Heuristic Search year: 1997 ident: B84 – ident: B160 doi: 10.1287/ijoc.10.3.261 – ident: B24 doi: 10.1287/ijoc.10.3.287 – ident: B12 doi: 10.1007/BF02591796 – ident: B62 doi: 10.1073/pnas.53.2.260 – year: 1998 ident: B90 publication-title: Mathematical Programming – start-page: 20 volume-title: Operational Research year: 1995 ident: B111 – start-page: 19 volume-title: Proceedings, 2nd National Conference of the Canadian Society for Computational Studies of Intelligence year: 1978 ident: B57 – ident: B139 doi: 10.1016/0020-0190(95)00019-9 – volume-title: Integer Programming year: 1998 ident: B164 – start-page: 57 volume-title: CP99 Post-Conference Workshop on Large Scale Combinatorial Optimization and Constraints year: 1999 ident: B121 – ident: B145 doi: 10.1007/3-540-45578-7_2 – start-page: 150 volume-title: Proceedings, National Conference on Artificial Intelligence, AAAI year: 1988 ident: B45 – volume: 40 year: 1989 ident: B101 publication-title: Logic-Based Decision Support: Mixed Integer Model Formulation. Annals of Discrete Mathematics – volume: 1 start-page: 5 year: 1959 ident: B52 publication-title: Cahiers du centre d′études de recherche opérationnelle – ident: B129 doi: 10.2307/2307285 – ident: B34 doi: 10.1287/trsc.28.2.104 – volume: 13 start-page: 18 year: 1977 ident: B154 publication-title: Bulletin of the Institute of Mathematics and its Implications – ident: B114 doi: 10.7551/mitpress/5625.001.0001 – ident: B142 doi: 10.1007/BF00143880 – volume: 36 start-page: 27 year: 1996 ident: B163 publication-title: JORBEL – volume-title: Optimization and Computational Logic year: 1996 ident: B116 – volume: 2 start-page: 81 year: 1987 ident: B155 publication-title: International Journal of Systems Research and Information Science – volume-title: The OPL Optimization Programming Language year: 1999 ident: B149 – ident: B1 doi: 10.1016/0166-218X(90)90139-4 – ident: B42 doi: 10.1007/BF00137871 – ident: B137 doi: 10.1137/0601042 – volume-title: Studies in Logic and Probability year: 1952 ident: B27 – ident: B103 doi: 10.1287/ijoc.1.1.7 – volume-title: 16th International Conference on Logic Programming year: 1999 ident: B51 – volume-title: Graphes et hypergraphes year: 1970 ident: B20 – ident: B95 doi: 10.1145/41625.41635 – start-page: 140 volume-title: Logic Programming: Proceedings, 1988 Joint International Conference and Symposium year: 1995 ident: B126 – volume: 17 start-page: 277 year: 1975 ident: B64 publication-title: Cahiers du Centre d′Études de Recherche Opérationnelle – ident: B65 doi: 10.1016/0305-0548(94)90089-2 – volume-title: Second International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems year: 2000 ident: B120 – ident: B112 doi: 10.1007/978-3-642-96826-6 – ident: B76 doi: 10.1007/BF02612354 – ident: B85 doi: 10.1002/9781118033036 – ident: B89 doi: 10.1016/S0166-218X(99)00100-6 – volume-title: Nonserial Dynamic Programming year: 1972 ident: B22 – ident: B132 doi: 10.1016/0098-1354(93)E0010-7 – start-page: 245 volume-title: Logic Programming: Formal Methods and Practical Applications year: 1995 ident: B21 – volume: 1 start-page: 17 year: 1960 ident: B53 publication-title: Revue Française d′informatique et de recherche opérationnelle – ident: B40 doi: 10.1016/0166-218X(90)90142-Y – volume-title: Journées Francophones de la programmation logique par contraintes year: 1997 ident: B143 – ident: B161 doi: 10.1016/0305-0548(90)90007-T – volume-title: Boole's Logic and Probability year: 1976 ident: B67 – ident: B72 doi: 10.1007/978-3-642-85823-9 – ident: B165 doi: 10.1007/s101070050061 – ident: B29 doi: 10.1002/(SICI)1097-024X(199801)28:1<49::AID-SPE147>3.0.CO;2-R – ident: B41 doi: 10.1287/ijoc.10.3.276 – volume: 14 start-page: 359 year: 1963 ident: B71 publication-title: Studii si Cercetari Matematice – ident: B157 doi: 10.1016/0377-2217(93)E0359-6 – ident: B7 doi: 10.1016/B978-0-12-468650-2.50015-8 – ident: B82 doi: 10.1007/3-540-58601-6_111 – year: 2001 ident: B158 publication-title: INFORMS Journal on Computing – start-page: 259 volume-title: Proceedings, 13th European Conference on Artificial Intelligence year: 1998 ident: B77 – ident: B58 doi: 10.1007/BF00934810 – ident: B147 doi: 10.1016/0098-1354(95)00219-7 – ident: B128 doi: 10.2307/2308219 – ident: B151 doi: 10.1016/S0167-6423(97)00008-7 – volume: 1 start-page: 55 year: 1989 ident: B117 publication-title: Ninth International Workshop on Expert Systems and Their Applications: General Conference – volume-title: Logic for Problem Solving year: 1979 ident: B106 – ident: B59 doi: 10.1613/jair.1 – volume-title: Boole's Logic and Probability year: 1986 ident: B68 – ident: B33 doi: 10.1002/9781118033166 – year: 2001 ident: B105 publication-title: Annals of Operations Research – ident: B99 doi: 10.1287/ijoc.13.4.258.9733 – start-page: 362 volume-title: Proceedings, National Conference on Artificial Intelligence year: 1994 ident: B134 – ident: B15 doi: 10.1016/0377-2217(90)90419-C – start-page: 267 volume-title: Principles and Practice of Constraint Programming: The Newport Papers year: 1995 ident: B93 – volume-title: Proceedings on the International Conference on Fifth Generation Computer Systems year: 1988 ident: B47 – volume-title: Proceedings, 5th International Joint Conference on AI year: 1977 ident: B56 – ident: B4 doi: 10.1137/0608024 – ident: B49 doi: 10.1007/3-540-45578-7_1 – start-page: 136 volume-title: Proceedings, 16th National Conference on Artificial Intelligence year: 1999 ident: B91 – ident: B5 doi: 10.1137/0607033 – ident: B130 doi: 10.1016/0098-1354(93)80073-V – ident: B135 doi: 10.1007/3-540-49481-2_28 – ident: B81 doi: 10.1007/BF01531033 – volume-title: The Mathematical Analysis of Logic: Being a Essay Toward a Calculus of Deductive Reasoning year: 1847 ident: B26 – ident: B70 doi: 10.1145/321694.321700 – ident: B123 doi: 10.1016/S0098-1354(96)00318-3 – volume: 273 start-page: 1700 year: 1970 ident: B74 publication-title: Comptes Rendus de l′Académie des Sciences de Paris – ident: B136 doi: 10.1023/A:1018904229454 – ident: B46 doi: 10.1017/S0269888901000030 – ident: B17 doi: 10.1007/BF01386316 – ident: B18 doi: 10.1287/ijoc.10.3.301 – volume-title: Third International Workshop on Integration of AI and OR Techniques (CPAIOR01) year: 2001 ident: B118 – ident: B79 doi: 10.1007/BF02186368 – volume-title: Proceedings of SPI-CIS'94 year: 1994 ident: B125 – volume: 1713 start-page: 373 year: 1999 ident: B133 publication-title: Lecture Notes in Computer Science – ident: B9 doi: 10.1016/S0167-5060(08)70342-X – ident: B50 doi: 10.1007/978-3-540-48085-3_14 – ident: B43 doi: 10.1016/S0004-3702(99)00059-4 – ident: B66 doi: 10.1016/0196-6774(84)90006-3 – ident: B13 doi: 10.1007/BF02591797 – volume-title: Logic-Based 0-1 Constraint Solving in Constraint Logic Programming year: 1995 ident: B14 – start-page: 504 volume-title: Proceedings, 13th European Conference on Artificial Intelligence year: 1998 ident: B48 – ident: B8 doi: 10.1007/BF00933095 – ident: B113 doi: 10.1007/BF02591742 – ident: B141 doi: 10.1016/0888-613X(87)90024-7 – volume: 1713 start-page: 261 year: 1999 ident: B104 publication-title: Principles and Practice of Constraint Programming – ident: B54 doi: 10.1145/322290.322292 – ident: B23 doi: 10.1016/0305-0548(86)90056-0 – ident: B2 doi: 10.1016/0166-218X(92)00119-7 – ident: B32 doi: 10.1145/102782.102789 – volume: 11 start-page: 26 year: 1969 ident: B73 publication-title: Cahiers du Centre d′Études de Recherche Opérationnelle – start-page: 196 volume-title: Logic Programming: Proceedings, 4th International Conference year: 1987 ident: B96 – ident: B80 doi: 10.1287/ijoc.1.3.137 – start-page: 46 volume-title: Proceedings, National Conference on Artificial Intelligence year: 1990 ident: B166 – volume-title: Third International Workshop on the Integration of AI and OR Techniques (CPAIOR 2001) year: 2001 ident: B140 – ident: B60 doi: 10.1007/3-540-58601-6_105 – volume: 12 start-page: 154 year: 1971 ident: B63 publication-title: Methods of Operations Research – volume-title: The Art of Prolog: Advanced Programming Techniques year: 1986 ident: B144 – ident: B35 doi: 10.1007/978-3-642-96873-0 – ident: B131 doi: 10.1016/0098-1354(91)87007-V – ident: B28 doi: 10.1007/BF01607055 – ident: B69 doi: 10.1007/BF02612354 – volume-title: Third International Workshop on the Integration of AI and OR Techniques (CPAIOR 2001) year: 2001 ident: B110
SSID	ssj0004349
Score	1.9615911
Snippet	Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of...
SourceID	proquest gale crossref informs highwire
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	295
SubjectTerms	Algorithms Artificial intelligence Boolean Computer programming constraint programming Integer programming Linear programming Logic programming logic-based methods Mathematical programming Optimization Propagation Studies Theory of constraints Variables
Title	Logic, Optimization, and Constraint Programming
URI	http://joc.journal.informs.org/cgi/content/abstract/14/4/295 https://www.proquest.com/docview/200536366
Volume	14
WOSCitedRecordID	wos000179070400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: ABI/INFORM Collection customDbUrl: eissn: 1526-5528 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0004349 issn: 1091-9856 databaseCode: 7WY dateStart: 19990401 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1526-5528 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0004349 issn: 1091-9856 databaseCode: P5Z dateStart: 19990401 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1526-5528 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0004349 issn: 1091-9856 databaseCode: K7- dateStart: 19990401 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest ABI/INFORM Global customDbUrl: eissn: 1526-5528 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0004349 issn: 1091-9856 databaseCode: M0C dateStart: 19990401 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1526-5528 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0004349 issn: 1091-9856 databaseCode: BENPR dateStart: 19990401 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Rb9MwED6xjQd42GAw0ZVVeQAeYGkT24mdJzSmTUiIqkIgBi-Wc3bQEGvHWvj93KXOaAWakHjxQ3x2nNz5fGf77gN4wpghtJBUqasDOyiS9CAtFDTjUWivnTTKtWATejw2Z2fVJN7NmcdrlZ1ObBW1nyHvkY9490OWsixfXn5PGTSKD1cjgsYGbOVC5Czmb3T6OyxSttYvp75MK1OUMWaGfITR-dcZkpIYqqGoiiG7HWvrUqedu5TBbagTG5HzP1R2uw6d7vznF9yD7WiAJkdLibkPt8J0F3Y6cIckzvVduLuSqfABjBiTGQ-TGWmYixi6eZi4qU-QDUzGmVgk8a7XBbV4CB9OT94fv04j1kKKSosFcalEbYpaFU2eSfTSiLpEr33TVNJgJoLPFGbKkf3T1MqVwQUnTO3yIOuaPPI92JzOpuERJBqNd6ZQzjWC-kanSh_IDkKH1CCTPci7P20xJiLncX6z7JAQdyxzh3wSqyxxxzJ3evDius3lMg3HjdTPmIGWeUY904uXoQY0Ps52ZY8qTlOvmPDpGuGXZarvv9D11-hoCuJq7UEnKDaKiV0dUw-ed4__Zez9TnpsVCdzey06-zfW9uFOC1bDh2biMWwurn6EA7iNPxfn86sBbOiPnwaw9epkPHk3aKcKlW-zYyonxedfpysY-w
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1RT9RAEJ4gmqgPoKjxPNE-iA9K73q723b7YAxBCQS4-IAJb8t2ujUYuUPulPCj-I_OtLt4Fw3xhQdf29nttP32m5ltZwbgFfcMIUNSxLZ0HKBI4kEyFLTiUeRVbqVWtmk2kQ-H-vCw-LQAlyEXhn-rDJzYEHU1Rt4j7_Puh8xklr0__R5z0yj-uBo6aLSo2HUX5xSxTd7tfKDXuybE1seDze3YNxWIUeViSupkmOu0VGk9SCRWUosywyqv6rqQGhPhqkRhoiwZ-rpUNnPWWaFLO3CyLCn0pHlvwW1Ft8U8sJ9s_k7DlI23zaU240Knmc_RoZikf_x1jERKPdUTRdrjMGfODgZrEEoUN6lV7LRO_jARjd3bWv7PntgDWPIOdrTRroiHsOBGK7AcmldEnstW4P5MJcZH0Oee07gejYlBT3xq6npkR1WE7EBzH41p5P9lO6ERj-HzjdzEE1gcjUfuKUQ56srqVFlbC5obrcoqR34eWqQBiezAILxZg77QOuv5zXDARWgwjAaKuYwyhAbDaOjA26sxp22ZkWulXzNgDGOEZqYLt6kUpB9X8zIbBZfhVyy4Nif4pS1l_he57pwcUQzOnl0NwDQelmZWpw68CYf_RfduQKvxdDkxV1B9du3Zl3B3-2B_z-ztDHe7cK9pzMMfCMVzWJye_XCrcAd_To8nZy-ahRnB0U3j-hem_3RF
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Nb9NAEB2VghAcWihFhFDwgXKAOnF21_b6gFBFiaiCoh5A6m1Zj9eoiCalCaD-tP67zti7JRGo4tIDV3t2Pbbfzoe9Mw_gOXOGkCMpYls6TlAk2UFyFLTiUeRVbqVWtiGbyMdjfXhYHKzAeaiF4W2VwSY2hrqaIn8j7_PXD5nJLOvXflfEwd7wzcn3mAmk-EdrYNNoETJyZ78oe5u93t-jV70txPDdx7fvY08wEKPKxZxUyzDXaanSepBIrKQWZYZVXtV1ITUmwlWJwkRZcvp1qWzmrLNCl3bgZFlSGkrz3oCb5IRTXmKjPP5dkimbyJvbbsaFTjNfr0P5Sf_o6xTJQPVUTxRpj1OeJZ8YPENoV9yUWXEAO_vDXTQ-cLj-Hz-9e7DmA-9ot10p92HFTTZgPZBaRN7GbcDdhQ6ND6DPXNS4E03Jsh77ktWdyE6qCDmwZn6NeeT3uB3TiE34dC038RBWJ9OJewRRjrqyOlXW1oLmRquyylH8hxZpQCI7MAhv2aBvwM56fjOciBEyDCODcjGjDCHDMDI68OpyzEnbfuRK6RcMHsN4oZnpwm2JBenHXb7MbsHt-RULbi8JfmlbnP9FrrskR6YHF89uBZAaD1GzqFMHXobD_6J7NyDXeDM6M5ewfXzl2Wdwm-BsPuyPR1240_D18H9D8QRW56c_3Bbcwp_zo9np02aNRvD5umF9AdpxfOs
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Logic%2C+Optimization%2C+and+Constraint+Programming&rft.jtitle=INFORMS+journal+on+computing&rft.date=2002-09-22&rft.pub=INFORMS&rft.issn=1091-9856&rft.eissn=1526-5528&rft.volume=14&rft.issue=4&rft.spage=295&rft.epage=321&rft_id=info:doi/10.1287%2Fijoc.14.4.295.2828&rft.externalDocID=ijoc.14.4.295.2828
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1091-9856&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1091-9856&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1091-9856&client=summon