On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”
Uloženo v:
| Vydáno v: | Constraints : an international journal Ročník 9; číslo 1; s. 5 - 34 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Heidelberg
Springer
01.01.2004
|
| Témata: | |
| ISSN: | 1383-7133, 1572-9354 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Author | Wallace, Mark Schimpf, Joachim Shen, Kish Harvey, Warwick |
|---|---|
| Author_xml | – sequence: 1 givenname: Mark surname: Wallace fullname: Wallace, Mark – sequence: 2 givenname: Joachim surname: Schimpf fullname: Schimpf, Joachim – sequence: 3 givenname: Kish surname: Shen fullname: Shen, Kish – sequence: 4 givenname: Warwick surname: Harvey fullname: Harvey, Warwick |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=15408054$$DView record in Pascal Francis |
| BookMark | eNqNkc1OGzEUhS0EEr_vYCFVXc3UHtvzw6okkFIpahA_69GNY0_cztiRbZDoigeBd-mz8CR1QiVQV3hhX8nfOVc6Zx9tW2cVQseU5JQU7MvoZDz7cZ2TzSlpTXNOhKhzVm2hPSqqImuY4NtpZjXLKsrYLtoP4Weim4rxPfRnZvFIWbkcwP8ytsNjZ0P0YGzEU9cZiS-96zwMw_rzsoeonR9Cjq9UWCVU4ejwRHkLdqF-43TjC9P3nwN-eXw6TW7DCjxEc6_wdbxbPGCn8bnplvH9ovcrpmC7O-hUwO5eeRyXCo-c6xXYjfnEWBMVPnNDUoaXx-dDtKOhD-ro33uAbifnN-OLbDr79n18Os1k0dCY8bkSDdQgFiBrKeeSaNmUdVEqUTJGCq2ppiUVZM6bEqgEwjUtBNSq1AvNNTtAn159VxAk9NqDlSa0K29Scg8tFZzURPDEnbxy0rsQvNJvCGnXnbWjdt1Z-9ZZu-msZVUSf_1PLE1M6Tm7Tqr_iMVfCiOmyg |
| CODEN | CNSTFT |
| CitedBy_id | crossref_primary_10_1080_09528130701538174 crossref_primary_10_1007_s10601_007_9028_6 crossref_primary_10_1007_s10479_007_0217_x crossref_primary_10_1016_j_procs_2013_05_217 crossref_primary_10_1016_j_compchemeng_2016_04_030 |
| Cites_doi | 10.1016/0004-3702(85)90041-4 10.1002/(SICI)1097-024X(19980710)28:8<819::AID-SPE184>3.0.CO;2-O 10.1023/A:1018977712248 10.1111/j.1467-8640.1989.tb00328.x 10.1023/A:1009856210543 10.1023/A:1009816801567 10.1007/3-540-49481-2_28 10.1007/3-540-45578-7_1 10.1007/BF02430364 10.1023/A:1018904229454 10.1007/BFb0017455 10.21236/ADA211444 10.1023/A:1014450507312 |
| ContentType | Journal Article |
| Copyright | 2004 INIST-CNRS |
| Copyright_xml | – notice: 2004 INIST-CNRS |
| DBID | AAYXX CITATION IQODW |
| DOI | 10.1023/B:CONS.0000006181.40558.37 |
| DatabaseName | CrossRef Pascal-Francis |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Applied Sciences |
| EISSN | 1572-9354 |
| EndPage | 34 |
| ExternalDocumentID | 15408054 10_1023_B_CONS_0000006181_40558_37 |
| GroupedDBID | -Y2 -~C .86 .VR 06D 0VY 1N0 1SB 2.D 203 28- 29F 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYXX ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABRTQ ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACSTC ACZOJ ADHHG ADHIR ADHKG ADIMF ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFEXP AFGCZ AFHIU AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHSBF AHWEU AHYZX AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BBWZM BDATZ BGNMA BSONS CAG CITATION COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS H13 HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW LAK LLZTM M4Y MA- N2Q NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P9O PF0 PT4 PT5 QOK QOS R4E R89 R9I RHV RNI ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 ZMTXR ~EX AAYZH AESKC IQODW |
| ID | FETCH-LOGICAL-c291t-4be59a8a5dac8ccbc0fc96826e563302ff1f16150b496a1ca04f125a8e6fdf4f3 |
| ISICitedReferencesCount | 11 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000220261400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1383-7133 |
| IngestDate | Mon Jul 21 09:14:40 EDT 2025 Tue Nov 18 21:55:27 EST 2025 Sat Nov 29 07:48:59 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Performance evaluation Constraint logic programming Comparative study |
| Language | English |
| License | https://www.springernature.com/gp/researchers/text-and-data-mining CC BY 4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c291t-4be59a8a5dac8ccbc0fc96826e563302ff1f16150b496a1ca04f125a8e6fdf4f3 |
| PageCount | 30 |
| ParticipantIDs | pascalfrancis_primary_15408054 crossref_primary_10_1023_B_CONS_0000006181_40558_37 crossref_citationtrail_10_1023_B_CONS_0000006181_40558_37 |
| PublicationCentury | 2000 |
| PublicationDate | 2004-01-00 2004 |
| PublicationDateYYYYMMDD | 2004-01-01 |
| PublicationDate_xml | – month: 01 year: 2004 text: 2004-01-00 |
| PublicationDecade | 2000 |
| PublicationPlace | Heidelberg |
| PublicationPlace_xml | – name: Heidelberg |
| PublicationTitle | Constraints : an international journal |
| PublicationYear | 2004 |
| Publisher | Springer |
| Publisher_xml | – name: Springer |
| References | M. Hajian (5151815_CR15) 1998; 81 5151815_CR29 5151815_CR28 5151815_CR21 5151815_CR23 M. Carlson (5151815_CR5) 1997; 1292 5151815_CR24 5151815_CR26 R. Haygood (5151815_CR13) 1989 M. Wallace (5151815_CR31) 1997; 12 A. Fernández (5151815_CR11) 2000; 5 B. Nadel (5151815_CR22) 1989; 5 5151815_CR17 5151815_CR19 J. N. Hooker (5151815_CR16) 1996; 1 5151815_CR7 5151815_CR10 5151815_CR32 5151815_CR6 5151815_CR9 5151815_CR12 P. Refalo (5151815_CR25) 1999; 1913 5151815_CR33 5151815_CR3 5151815_CR14 5151815_CR2 R. Rodosek (5151815_CR27) 1999; 86 5151815_CR4 B. Kernighan (5151815_CR18) 1998; 28 A. K. Mackworth (5151815_CR20) 1985; 25 5151815_CR1 H. El Sakkout (5151815_CR8) 2000; 5 5151815_CR30 |
| References_xml | – ident: 5151815_CR1 – volume: 25 start-page: 65 issue: 1 year: 1985 ident: 5151815_CR20 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(85)90041-4 – ident: 5151815_CR29 – volume: 28 start-page: 819 issue: 8 year: 1998 ident: 5151815_CR18 publication-title: Software Practise and Experience doi: 10.1002/(SICI)1097-024X(19980710)28:8<819::AID-SPE184>3.0.CO;2-O – volume: 1913 start-page: 373 year: 1999 ident: 5151815_CR25 publication-title: CP'99 – ident: 5151815_CR10 – ident: 5151815_CR33 – ident: 5151815_CR19 – volume: 81 start-page: 421 year: 1998 ident: 5151815_CR15 publication-title: Annals of Operations Research doi: 10.1023/A:1018977712248 – ident: 5151815_CR14 – ident: 5151815_CR12 – volume: 5 start-page: 188 year: 1989 ident: 5151815_CR22 publication-title: Computational Intelligence doi: 10.1111/j.1467-8640.1989.tb00328.x – ident: 5151815_CR17 – volume: 1292 start-page: 191 year: 1997 ident: 5151815_CR5 publication-title: PLILP'97 – volume: 5 start-page: 359 issue: 4 year: 2000 ident: 5151815_CR8 publication-title: Constraints doi: 10.1023/A:1009856210543 – volume: 5 start-page: 275 year: 2000 ident: 5151815_CR11 publication-title: Journal of Constraints doi: 10.1023/A:1009816801567 – ident: 5151815_CR7 – ident: 5151815_CR24 – ident: 5151815_CR26 doi: 10.1007/3-540-49481-2_28 – ident: 5151815_CR2 – ident: 5151815_CR9 doi: 10.1007/3-540-45578-7_1 – ident: 5151815_CR28 – volume: 1 start-page: 33 year: 1996 ident: 5151815_CR16 publication-title: Journal of Heuristics doi: 10.1007/BF02430364 – volume: 86 start-page: 63 year: 1999 ident: 5151815_CR27 publication-title: Annals of Operations Research doi: 10.1023/A:1018904229454 – ident: 5151815_CR30 – ident: 5151815_CR3 doi: 10.1007/BFb0017455 – ident: 5151815_CR6 – volume-title: A prolog benchmark suite for aquarius year: 1989 ident: 5151815_CR13 doi: 10.21236/ADA211444 – ident: 5151815_CR23 – ident: 5151815_CR4 – volume: 12 start-page: 159 issue: 1 year: 1997 ident: 5151815_CR31 publication-title: ICL Systems Journal – ident: 5151815_CR32 doi: 10.1023/A:1014450507312 – ident: 5151815_CR21 |
| SSID | ssj0009734 |
| Score | 1.6915624 |
| SecondaryResourceType | review_article |
| SourceID | pascalfrancis crossref |
| SourceType | Index Database Enrichment Source |
| StartPage | 5 |
| SubjectTerms | Applied sciences Computer science; control theory; systems Computer systems performance. Reliability Exact sciences and technology Logical, boolean and switching functions Software Theoretical computing |
| Title | On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains” |
| Volume | 9 |
| WOSCitedRecordID | wos000220261400001&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: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1572-9354 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009734 issn: 1383-7133 databaseCode: RSV dateStart: 19970301 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pb9MwFLbK4ICExs-JDZh8QOJQpTRN0sTc2qpTEaWd6EDjFDlOLCq1SVWHsb-Nfw6e7ThxVyHGgUtUubXd9H2133v5_D2EXrsZpZSnoUNSnzk-I74T0T53QkJClyTcc6mSzJ-Gs1l0eUnOW61f5izM1SrM8-j6mmz-q6mhDYwtj87-g7nrQaEBXoPR4Qpmh-utDD_P2wl8n29rqtLgklcuVCGIsq3WOUPJWqtz6CtaSrdVdGQiX7JlVSmNOrusni1MlOR1KGARYZZYuDB61Cq7as9jz2ASoqItyaKaj1AUK_kAQI7Nl9LpbafFGnoK21Ue1eMJlbegudK2aNKX9q8ht5XBdDoYjW8eQFqMJu8_np_pJwWSObqu35mMFcfhw1LUOXFZjmT8VREP6faHqRhgsiL7-VBrTYcg3JGxuL3okz1s6wU8sDwBnWXd22O01sUQ7nw0ny20ACZ4RZHbAec3iDpaxGZX2vvGllsTIcGBBZc98O-gu70wIJKT-GnxpVGNDjUtwtyBUc3teW-H7_40-46H9WBDBfzZua7SYrlOF4_QYRXz4IHG6mPUyvIn6GEV_-BqdxHQZEqMmLan6Oc8xzaacYMyrNCMLazhBs3YoBmXBa7RjOGKJZrfCDzAFpaxwjIuOFZYtmexx6-xjCWWMWAZV1hWI2ss4wrLz9Dns_HFaOJU5UYc1iNu6fhJFhAa0SClLGIsYV3OSB_C7yzoe163x7nLZXzUTXzSpy6jXZ9DeECjrM9T7nPvCB3kRZ49R7gbEeZK6UmeZj6FRU8q2wUpkVrmQcCTY0SMiWJWafHLu1rFihPS8-JhLM0bN-aNlXljLzxGXt13oxVpbtXrdAcJTdcKgSd_-8ALdF-z1mT68SU6KLffs1foHrsql2J7qnD7G3oZ6vI |
| linkProvider | Springer Nature |
| 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=On+benchmarking+constraint+logic+programming+platforms.+Response+to+Fernandez+and+Hill%27s+A+comparative+study+of+eight+constraint+programming+languages+over+the+Boolean+and+finite+domains&rft.jtitle=Constraints+%3A+an+international+journal&rft.au=WALLACE%2C+Mark&rft.au=SCHIMPF%2C+Joachim&rft.au=SHEN%2C+Kish&rft.au=HARVEY%2C+Warwick&rft.date=2004&rft.pub=Springer&rft.issn=1383-7133&rft.volume=9&rft.issue=1&rft.spage=5&rft.epage=34&rft_id=info:doi/10.1023%2FB%3ACONS.0000006181.40558.37&rft.externalDBID=n%2Fa&rft.externalDocID=15408054 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1383-7133&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1383-7133&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1383-7133&client=summon |