Autonomous Tuning for Constraint Programming via Artificial Bee Colony Optimization
Constraint Programming allows the resolution of complex problems, mainly combinatorial ones. These problems are defined by a set of variables that are subject to a domain of possible values and a set of constraints. The resolution of these problems is carried out by a constraint satisfaction solver...
Saved in:
Published in | Computational Science and Its Applications -- ICCSA 2015 pp. 159 - 171 |
---|---|
Main Authors | , , , , , , , |
Format | Book Chapter |
Language | English |
Published |
Cham
Springer International Publishing
2015
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
ISBN | 3319214039 9783319214030 |
ISSN | 0302-9743 1611-3349 |
DOI | 10.1007/978-3-319-21404-7_12 |
Cover
Abstract | Constraint Programming allows the resolution of complex problems, mainly combinatorial ones. These problems are defined by a set of variables that are subject to a domain of possible values and a set of constraints. The resolution of these problems is carried out by a constraint satisfaction solver which explores a search tree of potential solutions. This exploration is controlled by the enumeration strategy, which is responsible for choosing the order in which variables and values are selected to generate the potential solution. Autonomous Search provides the ability to the solver to self-tune its enumeration strategy in order to select the most appropriate one for each part of the search tree. This self-tuning process is commonly supported by an optimizer which attempts to maximize the quality of the search process, that is, to accelerate the resolution. In this work, we present a new optimizer for self-tuning in constraint programming based on artificial bee colonies. We report encouraging results where our autonomous tuning approach clearly improves the performance of the resolution process. |
---|---|
AbstractList | Constraint Programming allows the resolution of complex problems, mainly combinatorial ones. These problems are defined by a set of variables that are subject to a domain of possible values and a set of constraints. The resolution of these problems is carried out by a constraint satisfaction solver which explores a search tree of potential solutions. This exploration is controlled by the enumeration strategy, which is responsible for choosing the order in which variables and values are selected to generate the potential solution. Autonomous Search provides the ability to the solver to self-tune its enumeration strategy in order to select the most appropriate one for each part of the search tree. This self-tuning process is commonly supported by an optimizer which attempts to maximize the quality of the search process, that is, to accelerate the resolution. In this work, we present a new optimizer for self-tuning in constraint programming based on artificial bee colonies. We report encouraging results where our autonomous tuning approach clearly improves the performance of the resolution process. |
Author | Misra, Sanjay Flores, Javier Galleguillos, Cristian Johnson, Franklin Crawford, Broderick Mella, Felipe Soto, Ricardo Paredes, Fernando |
Author_xml | – sequence: 1 givenname: Ricardo surname: Soto fullname: Soto, Ricardo – sequence: 2 givenname: Broderick surname: Crawford fullname: Crawford, Broderick – sequence: 3 givenname: Felipe surname: Mella fullname: Mella, Felipe – sequence: 4 givenname: Javier surname: Flores fullname: Flores, Javier – sequence: 5 givenname: Cristian surname: Galleguillos fullname: Galleguillos, Cristian email: cristian.galleguillos.m@mail.pucv.cl – sequence: 6 givenname: Sanjay surname: Misra fullname: Misra, Sanjay – sequence: 7 givenname: Franklin surname: Johnson fullname: Johnson, Franklin – sequence: 8 givenname: Fernando surname: Paredes fullname: Paredes, Fernando |
BookMark | eNo1kF1LwzAUhqNOcJv7B170D0RPetImuZzDLxhMcPchbdMRXZPRpIL-erupVy887-Hw8szIxAdvCblhcMsAxJ0SkiJFpmjOOHAqNMvPyGLEOMITE-dkykrGKCJXF2T2X6CakCkg5FQJjldkEeM7ALCikLwQU_K2HFLwoQtDzLaDd36XtaHPVsHH1BvnU_bah11vuu5YfTqTLfvkWlc7s8_urR0v98F_ZZtDcp37NskFf00uW7OPdvGXc7J9fNiunul68_SyWq5pZEomWpW2MA3nLK9LoxqwRtVYSQtFXQklDbYCJcPW1ExAwcu6RIBaFA1vpJEC5yT_fRsP_TjO9roK4SNqBvpoTY96NOrRgz4Z0kdr-AMDuF3f |
ContentType | Book Chapter |
Copyright | Springer International Publishing Switzerland 2015 |
Copyright_xml | – notice: Springer International Publishing Switzerland 2015 |
DOI | 10.1007/978-3-319-21404-7_12 |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Computer Science |
EISBN | 9783319214047 3319214047 |
EISSN | 1611-3349 |
Editor | Misra, Sanjay Murgante, Beniamino Gavrilova, Marina L. Apduhan, Bernady O. Gervasi, Osvaldo Taniar, David Torre, Carmelo Rocha, Ana Maria Alves Coutinho |
Editor_xml | – sequence: 1 givenname: Osvaldo orcidid: 0000-0003-4327-520X surname: Gervasi fullname: Gervasi, Osvaldo email: osvaldo@unipg.it – sequence: 2 givenname: Beniamino orcidid: 0000-0003-2409-5959 surname: Murgante fullname: Murgante, Beniamino email: beniamino.murgante@unibas.it – sequence: 3 givenname: Sanjay orcidid: 0000-0002-3556-9331 surname: Misra fullname: Misra, Sanjay email: sanjay.misra@covenantuniversity.edu.ng – sequence: 4 givenname: Marina L. surname: Gavrilova fullname: Gavrilova, Marina L. email: mgavrilo@ucalgary.ca – sequence: 5 givenname: Ana Maria Alves Coutinho orcidid: 0000-0001-8679-2886 surname: Rocha fullname: Rocha, Ana Maria Alves Coutinho email: arocha@dps.uminho.pt – sequence: 6 givenname: Carmelo orcidid: 0000-0003-4737-6040 surname: Torre fullname: Torre, Carmelo email: torre@poliba.it – sequence: 7 givenname: David orcidid: 0000-0002-8862-3960 surname: Taniar fullname: Taniar, David email: david.taniar@infotech.monash.edu.au – sequence: 8 givenname: Bernady O. surname: Apduhan fullname: Apduhan, Bernady O. email: bob@is.kyusan-u.ac.jp |
EndPage | 171 |
GroupedDBID | -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ABMNI ACGFS ADCXD AEFIE ALMA_UNASSIGNED_HOLDINGS EJD F5P FEDTE HVGLF LAS LDH P2P RIG RNI RSU SVGTG VI1 ~02 |
ID | FETCH-LOGICAL-s198t-b6e5ad4412c6a9d0ea9c3b8e05cb798a3f73813fac170546c6300c75d4d8a873 |
ISBN | 3319214039 9783319214030 |
ISSN | 0302-9743 |
IngestDate | Tue Jul 29 20:25:37 EDT 2025 |
IsPeerReviewed | true |
IsScholarly | true |
Language | English |
LinkModel | OpenURL |
MergedId | FETCHMERGED-LOGICAL-s198t-b6e5ad4412c6a9d0ea9c3b8e05cb798a3f73813fac170546c6300c75d4d8a873 |
PageCount | 13 |
ParticipantIDs | springer_books_10_1007_978_3_319_21404_7_12 |
PublicationCentury | 2000 |
PublicationDate | 2015 |
PublicationDateYYYYMMDD | 2015-01-01 |
PublicationDate_xml | – year: 2015 text: 2015 |
PublicationDecade | 2010 |
PublicationPlace | Cham |
PublicationPlace_xml | – name: Cham |
PublicationSeriesSubtitle | Theoretical Computer Science and General Issues |
PublicationSeriesTitle | Lecture Notes in Computer Science |
PublicationSeriesTitleAlternate | Lect.Notes Computer |
PublicationSubtitle | 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I |
PublicationTitle | Computational Science and Its Applications -- ICCSA 2015 |
PublicationYear | 2015 |
Publisher | Springer International Publishing |
Publisher_xml | – name: Springer International Publishing |
RelatedPersons | Kleinberg, Jon M. Mattern, Friedemann Naor, Moni Mitchell, John C. Terzopoulos, Demetri Steffen, Bernhard Pandu Rangan, C. Kanade, Takeo Kittler, Josef Weikum, Gerhard Hutchison, David Tygar, Doug |
RelatedPersons_xml | – sequence: 1 givenname: David surname: Hutchison fullname: Hutchison, David – sequence: 2 givenname: Takeo surname: Kanade fullname: Kanade, Takeo – sequence: 3 givenname: Josef surname: Kittler fullname: Kittler, Josef – sequence: 4 givenname: Jon M. surname: Kleinberg fullname: Kleinberg, Jon M. – sequence: 5 givenname: Friedemann surname: Mattern fullname: Mattern, Friedemann – sequence: 6 givenname: John C. surname: Mitchell fullname: Mitchell, John C. – sequence: 7 givenname: Moni surname: Naor fullname: Naor, Moni – sequence: 8 givenname: C. surname: Pandu Rangan fullname: Pandu Rangan, C. – sequence: 9 givenname: Bernhard surname: Steffen fullname: Steffen, Bernhard – sequence: 10 givenname: Demetri surname: Terzopoulos fullname: Terzopoulos, Demetri – sequence: 11 givenname: Doug surname: Tygar fullname: Tygar, Doug – sequence: 12 givenname: Gerhard surname: Weikum fullname: Weikum, Gerhard |
SSID | ssj0001558457 ssj0002792 |
Score | 1.7618288 |
Snippet | Constraint Programming allows the resolution of complex problems, mainly combinatorial ones. These problems are defined by a set of variables that are subject... |
SourceID | springer |
SourceType | Publisher |
StartPage | 159 |
SubjectTerms | Adaptive systems Artificial intelligence Metaheuristics Optimization |
Title | Autonomous Tuning for Constraint Programming via Artificial Bee Colony Optimization |
URI | http://link.springer.com/10.1007/978-3-319-21404-7_12 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Pb9MwFLZKuQAHYID4LR-4RUFJ7cTJgUOphkY1xmEF7RY5tiNV2hLUppvgT-Ov473YTrJul3GJqrRqkucvz8_P7_seIR_ySFWxjJDrlFch1zIPUXUtFEqLCuaEKp4hOfnbSXr0gy_PkrPJ5O-oamnXlh_Vn1t5Jf8zqnAOxhVZsncY2f5P4QR8hvGFI4wwHPeC3-tpVqsr0PVj8Lk8_4525b3t1kaXvlI8DIOvi8XpPIB5OOlzKk3XQQmp9YCSpt-M2MgrX_AOa3Rtet38TqYXUNPFu-Z8_csMg99srLtZSpxnxzic71rkTWCl7WpX-7pN7BPadadokaqAFWIX-NXlWuJ2wdrJWnw22FTvvKl_B9_BtV04zqj1hKjQvP107PZATpq2Ky0LfJsKb5FxWiNO9tIaPq25lxgdcnPX1sGMoawbj9wWj-ODga-H1ZJ1n8a69xRFG5kVSXUuO3aK5Hb2j21DmBsTy7iWBHlfeDUeigIbXN8TGZ-S-_PD5fHPIb-XQGiX9Iv_CIUa7Y6WvSvkGfm7zq0S1PAUI47nbZe8sWvfBUOrJ-QREmQoMlfAaE_JxNQH5LG3O3V2PyAPR1qXz8jpAARqgUABCHQAAh0BgQIQ6AAECkCgFgh0DITnZPXlcLU4Cl1Hj3Ab51kblqlJpIYIfKZSmevIyFyxMjNRokqRZ5JVAiJIVkmFKk88VSgIp0Siuc5kJtgLMq2b2rwkVMdcm0rPUqYZr7jOY15muH4wTFRKpK9I4E1U4Cu6Lbw-Nxi0YAUYtOgMWqBBX9_p12_IgwGxb8m03ezMOwhN2_K9Q8E_dASH2w |
linkProvider | Library Specific Holdings |
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%3Abook&rft.genre=bookitem&rft.title=Computational+Science+and+Its+Applications+--+ICCSA+2015&rft.au=Soto%2C+Ricardo&rft.au=Crawford%2C+Broderick&rft.au=Mella%2C+Felipe&rft.au=Flores%2C+Javier&rft.atitle=Autonomous+Tuning+for+Constraint+Programming+via+Artificial+Bee+Colony+Optimization&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2015-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319214030&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=159&rft.epage=171&rft_id=info:doi/10.1007%2F978-3-319-21404-7_12 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon |