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...

Full description

Saved in:
Bibliographic Details
Published inComputational Science and Its Applications -- ICCSA 2015 pp. 159 - 171
Main Authors Soto, Ricardo, Crawford, Broderick, Mella, Felipe, Flores, Javier, Galleguillos, Cristian, Misra, Sanjay, Johnson, Franklin, Paredes, Fernando
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2015
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text
ISBN3319214039
9783319214030
ISSN0302-9743
1611-3349
DOI10.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