A reactive and hybrid constraint solver
In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtra...
Saved in:
Published in | Journal of experimental & theoretical artificial intelligence Vol. 25; no. 1; pp. 1 - 22 |
---|---|
Main Authors | , , , , , |
Format | Journal Article |
Language | English |
Published |
Abingdon
Taylor & Francis Group
01.03.2013
Taylor & Francis Ltd Taylor & Francis |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. |
---|---|
AbstractList | In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. [PUBLICATION ABSTRACT] In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. |
Author | Castro, Carlos Crawford, Broderick Monfroy, Eric Figueroa, Christian Soto, Ricardo Paredes, Fernando |
Author_xml | – sequence: 1 givenname: Eric surname: Monfroy fullname: Monfroy, Eric email: ericmonfroy@gmail.com organization: Département d'Informatique , Université de Nantes – sequence: 2 givenname: Carlos surname: Castro fullname: Castro, Carlos organization: Departemento de Informética , UTFSM – sequence: 3 givenname: Broderick surname: Crawford fullname: Crawford, Broderick organization: Escuela de Ingeniería Informática , Pontificia Universidad Católica de Valparaíso – sequence: 4 givenname: Ricardo surname: Soto fullname: Soto, Ricardo organization: Universidad Autónoma de Chile – sequence: 5 givenname: Fernando surname: Paredes fullname: Paredes, Fernando organization: Escuela de Ingeniería Industrial , Universidad Diego Portales – sequence: 6 givenname: Christian surname: Figueroa fullname: Figueroa, Christian organization: Zeke, Viña del Mar |
BackLink | https://hal.science/hal-00872971$$DView record in HAL |
BookMark | eNp9kE1L5EAQhhtRcPz4Bx4CHnY9ZKzqTvrjtAyiqzDgRcFbU0k6GMl0u92Zkfn3JmTXwx68VEHxvEXVc8IOffCOsQuEJYKGazAl1yhelhyQL2UpBdcHbIFC8lyAModsMSH5xByzk5TeAABLxAX7scqio3rodi4j32Sv-yp2TVYHn4ZInR-yFPqdi2fsqKU-ufO__ZQ9390-3dzn68ffDzerdV4XwIdci7JRhKJCKbDC2smSoFXStJJaorGgqTVXpiodtNpQpYQC0zROckWuEafsat77Sr19j92G4t4G6uz9am2nGYBW3Cjc4cj-nNn3GP5sXRrspku163vyLmyTRcEFL4oS9Ihe_oe-hW304ycWuS5QggE5UsVM1TGkFF37dQGCnUzbf6btZNrOpsfYrznW-TbEDX2E2Dd2oH0fYhvJ112y4tsNn7wGg_M |
CitedBy_id | crossref_primary_10_1155_2013_716069 crossref_primary_10_1016_j_swevo_2016_04_003 crossref_primary_10_1155_2014_189164 crossref_primary_10_1016_j_ins_2015_01_035 crossref_primary_10_1155_2015_580785 crossref_primary_10_1016_j_eswa_2014_05_003 crossref_primary_10_1155_2014_465359 |
Cites_doi | 10.1145/1456650.1456656 10.1007/978-3-540-48085-3_36 10.1109/CEC.2009.4982974 10.1023/A:1018904229454 10.1057/jors.1990.166 10.1007/978-1-4419-1665-5_18 10.1109/4235.585893 10.1007/978-3-642-21434-9 10.1017/CBO9780511615320 10.1287/ijoc.13.4.258.9733 |
ContentType | Journal Article |
Copyright | Copyright Taylor & Francis Group, LLC 2013 Copyright Taylor & Francis Ltd. 2013 Distributed under a Creative Commons Attribution 4.0 International License |
Copyright_xml | – notice: Copyright Taylor & Francis Group, LLC 2013 – notice: Copyright Taylor & Francis Ltd. 2013 – notice: Distributed under a Creative Commons Attribution 4.0 International License |
DBID | AAYXX CITATION JQ2 7SC 8FD F28 FR3 L7M L~C L~D 1XC |
DOI | 10.1080/0952813X.2012.656328 |
DatabaseName | CrossRef ProQuest Computer Science Collection Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Hyper Article en Ligne (HAL) |
DatabaseTitle | CrossRef ProQuest Computer Science Collection Technology Research Database Computer and Information Systems Abstracts – Academic Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
DatabaseTitleList | ProQuest Computer Science Collection Technology Research Database |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EISSN | 1362-3079 |
EndPage | 22 |
ExternalDocumentID | oai_HAL_hal_00872971v1 2883415411 10_1080_0952813X_2012_656328 656328 |
Genre | Original Articles Feature |
GroupedDBID | .4S .7F .DC .QJ 0BK 0R~ 29K 2DF 30N 3YN 4.4 5GY 5VS 8VB AAAVI AAENE AAJMT AALDU AAMIU AAPUL AAQRR ABBKH ABCCY ABDBF ABFIM ABHAV ABIVO ABJVF ABLIJ ABPEM ABPTK ABQHQ ABTAI ABXUL ACGEJ ACGFS ACGOD ACTIO ADCVX ADGTB ADXPE AEGXH AEGYZ AEISY AEMOZ AENEX AEOZL AEPSL AEYOC AFKVX AFOLD AFWLO AGDLA AGMYJ AHDLD AIJEM AIRXU AJWEG AKBVH AKOOK AKVCP ALMA_UNASSIGNED_HOLDINGS ALQZU AQRUH ARCSS AVBZW AWYRJ BLEHA CCCUG CS3 D-I DGEBU DKSSO EAP EBR EBS EBU ECS EDO EJD EMK EPL EST ESX E~A E~B F5P FUNRP FVPDL GTTXZ H13 HF~ HZ~ H~P I-F IPNFZ J.P KYCEM M4Z MK~ NA5 NX~ O9- P2P PQEST PQQKQ QWB RIG RNANH ROSJB RTWRZ S-T SNACF TEN TFL TFT TFW TH9 TNC TTHFI TUS TWF UT5 UU3 V1K ZGOLN ZL0 ~S~ 07I 1TA 4B5 9M8 AAYXX ABJNI ABPAQ ABXYU ACTTO ADUMR ADXEU AEHZU AEZBV AFION AGBLW AGVKY AGWUF AHDZW AKHJE AKMBP ALRRR ALXIB BGSSV BWMZZ C0- C5H CAG CITATION COF CYRSC DAOYK DEXXA FETWF IFELN K1G L8C LJTGL MVM NUSFT OPCYK TAJZE TAP TBQAZ TDBHL TUROJ UB6 JQ2 7SC 8FD F28 FR3 L7M L~C L~D 1XC |
ID | FETCH-LOGICAL-c402t-835d7a13b1631b1ce65a0f769f6afaa6af19c8279b5e0f89ab73709dde627aed3 |
ISSN | 0952-813X |
IngestDate | Fri Sep 06 12:50:16 EDT 2024 Thu Aug 15 22:41:27 EDT 2024 Fri Sep 13 06:28:00 EDT 2024 Thu Sep 12 19:47:22 EDT 2024 Tue Jun 13 19:30:06 EDT 2023 |
IsPeerReviewed | true |
IsScholarly | true |
Issue | 1 |
Keywords | adaptive solving autonomous search constraint solving |
Language | English |
License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
LinkModel | OpenURL |
MergedId | FETCHMERGED-LOGICAL-c402t-835d7a13b1631b1ce65a0f769f6afaa6af19c8279b5e0f89ab73709dde627aed3 |
Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
ORCID | 0000-0001-7970-1368 |
PQID | 1284160906 |
PQPubID | 53008 |
PageCount | 22 |
ParticipantIDs | proquest_journals_1284160906 informaworld_taylorfrancis_310_1080_0952813X_2012_656328 hal_primary_oai_HAL_hal_00872971v1 crossref_primary_10_1080_0952813X_2012_656328 proquest_miscellaneous_1323244508 |
PublicationCentury | 2000 |
PublicationDate | 2013-03-01 |
PublicationDateYYYYMMDD | 2013-03-01 |
PublicationDate_xml | – month: 03 year: 2013 text: 2013-03-01 day: 01 |
PublicationDecade | 2010 |
PublicationPlace | Abingdon |
PublicationPlace_xml | – name: Abingdon |
PublicationTitle | Journal of experimental & theoretical artificial intelligence |
PublicationYear | 2013 |
Publisher | Taylor & Francis Group Taylor & Francis Ltd Taylor & Francis |
Publisher_xml | – name: Taylor & Francis Group – name: Taylor & Francis Ltd – name: Taylor & Francis |
References | Berkelaar M (CIT0005) Rice J (CIT0017) 1975 Gent I (CIT0009) 1999 Berthold T (CIT0006) 2010 CIT0021 CIT0020 CIT0001 Battiti R (CIT0003) 2008; 45 CIT0012 Castro C (CIT0007) 2005; 3789 Hamadi Y (CIT0010) 2010 CIT0011 CIT0022 Crawford B (CIT0008) 2010 Lobo F (CIT0014) 2007; 54 Schulte C (CIT0019) 2006 Monfroy E (CIT0015) 2006; 4243 Beasley JE (CIT0004) 1990; 41 CIT0002 CIT0016 CIT0018 Lobjois L (CIT0013) 1998 |
References_xml | – ident: CIT0016 – ident: CIT0005 publication-title: lp_solve—Simplex-based code for linear and integer programming contributor: fullname: Berkelaar M – volume-title: Technical Report No. CSD-tR 152 year: 1975 ident: CIT0017 contributor: fullname: Rice J – volume-title: in Proceedings of CERMA 2010 year: 2010 ident: CIT0008 contributor: fullname: Crawford B – ident: CIT0021 doi: 10.1145/1456650.1456656 – volume-title: CSPlib: A Benchmark Library for Constraints year: 1999 ident: CIT0009 doi: 10.1007/978-3-540-48085-3_36 contributor: fullname: Gent I – ident: CIT0020 doi: 10.1109/CEC.2009.4982974 – volume: 45 volume-title: Reactive Search and Intelligent Optimization, Operations Research/Computer Science Interfaces year: 2008 ident: CIT0003 contributor: fullname: Battiti R – ident: CIT0018 doi: 10.1023/A:1018904229454 – volume: 41 start-page: 1069 year: 1990 ident: CIT0004 publication-title: Journal of the Operational Research Society doi: 10.1057/jors.1990.166 contributor: fullname: Beasley JE – start-page: 357 volume-title: Hybrid Optimization: The Ten Years of CP-aI-oR year: 2010 ident: CIT0010 contributor: fullname: Hamadi Y – ident: CIT0002 doi: 10.1007/978-1-4419-1665-5_18 – volume: 3789 start-page: 162 volume-title: in Proceedings of MICAI 2005 year: 2005 ident: CIT0007 contributor: fullname: Castro C – ident: CIT0022 doi: 10.1109/4235.585893 – volume-title: A Constraint Integer Programming Approach for Resource-constrained Project Scheduling, Technical Report No. 003-2010, TU Berlin year: 2010 ident: CIT0006 contributor: fullname: Berthold T – ident: CIT0011 doi: 10.1007/978-3-642-21434-9 – ident: CIT0001 doi: 10.1017/CBO9780511615320 – ident: CIT0012 doi: 10.1287/ijoc.13.4.258.9733 – year: 2006 ident: CIT0019 publication-title: INFORMS Annual Meeting contributor: fullname: Schulte C – volume: 54 volume-title: Studies in Computational Intelligence year: 2007 ident: CIT0014 contributor: fullname: Lobo F – start-page: 353 year: 1998 ident: CIT0013 publication-title: in Proceedings of AAAI'98, Menlo Park, CA: AAAI contributor: fullname: Lobjois L – volume: 4243 start-page: 354 volume-title: Proceedings of ADVIS 2006 year: 2006 ident: CIT0015 contributor: fullname: Monfroy E |
SSID | ssj0001511 |
Score | 2.1398408 |
Snippet | In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in... In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), 'An Approach for Dynamic Split Strategies in Constraint Solving', in... |
SourceID | hal proquest crossref informaworld |
SourceType | Open Access Repository Aggregation Database Publisher |
StartPage | 1 |
SubjectTerms | Algorithms Artificial Intelligence autonomous search Computer Science constraint solving Dynamics Expert systems hybrid solver Mathematical functions Phases Propagation reactive search Searching Software Solvers Strategy |
Title | A reactive and hybrid constraint solver |
URI | https://www.tandfonline.com/doi/abs/10.1080/0952813X.2012.656328 https://www.proquest.com/docview/1284160906/abstract/ https://search.proquest.com/docview/1323244508 https://hal.science/hal-00872971 |
Volume | 25 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3db9MwELfK9sIL34jCQAEh8TBlivPl-jEamypUxksqKl4sO7U1JJSgLR2CP4K_mTvbSRO1moCXqHUiu727nH-2735HyFsj48poZD5mWRqm8DXkpkpDwwA-a8VpZReKHy_y-TL9sMpWk8nvQdTSplUn1a-9eSX_o1VoA71iluw_aLbvFBrgM-gXrqBhuP6VjotjgHzWYdkzgMufmH6FgeTXtvJDewzD3_jw210AOiL3RwsYJjXiaJ5c4uuAtbPXT1Mbv42HnnR7kgEjNz6Q5FvT4_XTK_mji6KHhf9a92T8uLnT2FJOmOMP5toM9yGwJkQy3Icod0qCDOKS3H4juF5qi__CxOO8LaZsgZPhQ3fs8qBHZud8K93r8X2IJPSOnWOsXnwCGDXxKecjgu2LT-J8uViI8mxVju_aCR0LLwOeSTFV_DBmPIPF_GExf__lcz-3Az6ijr3R_ZkuGRPZ2vf8hBHYuXNpQ22HhLg7AMCimvIBueetISicbT0kE10_Ive7Uh-B9_yPybsi6EwtAFMLnKkFW1MLnKk9Icvzs_J0HvoaG2GVRnEbAgBfM0kTBbicKlrpPJORYTk3uTRSwoXyagbCUJmOzIxLxRIWcZgU85hJvU6ekoO6qfUzEiQsiw2tVMzpOlVxpaTO1lFkMp2bLK_olISdMMR3R6UiaMdQ64UnUHjCCW9K3oDE-keRB31eLAS2IZFizBm9gU5nQ4GK1pqhcRYoktv7P-qEL_xLfS0QrtE84lE-Ja_72-By8RxN1rrZwDMJLkNSWNo8v72LF-Tu9k05Igft1Ua_BAzbqlfesP4AHAuYug |
link.rule.ids | 230,315,786,790,891,27957,27958,60241,61030 |
linkProvider | Library Specific Holdings |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwEB7xOMClQFvEwlLSqhKnLLGd2PFxVRVtYdkTSNws22sLCWlBJYsEv56ZPFbbInqgl0hJHFsee2Y-O-NvAL5Hy30MxHysijzN8TbV0edpVAifg9PM1wvFi4kcXeVn10UXTfjQhlXSGjo2RBG1rSblps3oLiTuBGEBL5m4psgsPkBEIni5CusS_Q3ppsgmC2OMDo01dHuo-PhJd3rujVr-8E6rN3Vs5DKD6SuLXbuh0y1wXQea6JPbwbxyA__8F7fjf_VwGz60IDUZNrNqB1bC7CNsdQkgktYefILjYYKYs7aYCbaV3DzR-a_EE-ak1BNVgjMbdeUzXJ3-vPwxStvMC6nH9WSVIiybKsuEQ7TGHPNBFjaLSuoobbQWL0z7kivtipDFUlunhMo0mkrJlQ1TsQtrs7tZ2INEqIJH5h3XbJo77p0NxTTLYhFkLKRnPUg7iZv7hmDDsI63tJWCISmYRgo9-IbDsihK7Nij4djQM6LX41qxR6y0XB41U9W7H7FJVWLEv-vvdyNsWnV-MOTEmcx0JnvwdfEaFZH-rthZuJtjGUHgNEfAu__-1o9gY3R5MTbjX5PzA9jkde4NCnjrw1r1ex4OEQFV7ks9x18A0Rj3pg |
linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwEB4BlRAXaKGoWyiECqmnLLGT2PFx1bJaHl1xAGlvlu3YQkJaUMki0V_PTB6rBdQe4BIpLzsZe2Y-JzPfABwGw13wxHws8yzOcDdWwWVxkAifvVXM1QvF32MxuspOJ_lkIYufwippDR0aoojaVpNy35Whi4g7QlTAC5ZOKDCL9xGQpLxYhg-CKmZREkcyntti9GesYdtDvcdbuuS5f7TyzDktX9ehkYsEpq8Mdu2Fhhtguudvgk9u-rPK9t3fF9SO73nBj7DeQtRo0MypT7Dkp5uw0ZV_iFprsAU_BhEiztpeRthVdP1I2V-RI8RJhSeqCOc1aspnuBoeX_4cxW3dhdjharKKEZSV0rDUIlZjljkvcpMEKVQQJhiDG6ZcwaWyuU9CoYyVqUwUGkrBpfFlug0r09up_wJRKnMemLNcsTKz3Fnj8zJJQu5FyIVjPYg7geu7hl5Ds461tJWCJinoRgo9-I6jMr-UuLFHg3NNx4hcjyvJHrDRYnHQdFV_-whNoRKd_r_93W6AdavM95pcOBOJSkQPDuanUQ3p34qZ-tsZXpMSNM0Q7n59e-_7sHrxa6jPT8ZnO7DG68IbFO22CyvVn5n_hvCnsnv1DH8C3Sf2Uw |
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=A+reactive+and+hybrid+constraint+solver&rft.jtitle=Journal+of+experimental+%26+theoretical+artificial+intelligence&rft.au=Monfroy%2C+Eric&rft.au=Castro%2C+Carlos&rft.au=Crawford%2C+Broderick&rft.au=Soto%2C+Ricardo&rft.date=2013-03-01&rft.pub=Taylor+%26+Francis+Ltd&rft.issn=0952-813X&rft.eissn=1362-3079&rft.volume=25&rft.issue=1&rft.spage=1&rft_id=info:doi/10.1080%2F0952813X.2012.656328&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=2883415411 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0952-813X&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0952-813X&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0952-813X&client=summon |