Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond
In this talk, I will introduce computer-aided algorithm design and discuss its main ingredients: design patterns, which provide ways of structuring potentially large spaces of candidate algorithms, and meta-algorithmic optimisation procedures, which are used for finding good designs within these spac...
Uloženo v:
| Vydáno v: | Proceedings of the International Conference on Automated Planning and Scheduling Ročník 20; s. 268 - 269 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
05.05.2010
|
| ISSN: | 2334-0835, 2334-0843 |
| 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!
|
| Abstract | In this talk, I will introduce computer-aided algorithm design and discuss its main ingredients: design patterns, which provide ways of structuring potentially large spaces of candidate algorithms, and meta-algorithmic optimisation procedures, which are used for finding good designs within these spaces. After explaining how this algorithm design approach differs from and complements related approaches in program synthesis, genetic programming and so-called hyperheuristics, I will illustrate its success using examples from our own work in SAT-based software verification (Hutter et al. 2007), timetabling (Chiarandini, Fawcett, and Hoos 2008) and mixed integer programming (Hutter, Hoos, and Leyton-Brown 2010). Furthermore, I will argue why this approach can be expected to be particularly useful and effective for building better solvers for rich and diverse classes of combinatorial problems, such as planning and scheduling. Finally, I will outline out how programming by optimisation — a design paradigm that emphasises the automated construction of performance-optimised algorithm by means of searching large spaces of alternative designs — has the potential to transform the design of high-performance algorithm from a craft that is based primarily on experience and intuition into a principled and highly effective engineering effort. |
|---|---|
| AbstractList | In this talk, I will introduce computer-aided algorithm design and discuss its main ingredients: design patterns, which provide ways of structuring potentially large spaces of candidate algorithms, and meta-algorithmic optimisation procedures, which are used for finding good designs within these spaces. After explaining how this algorithm design approach differs from and complements related approaches in program synthesis, genetic programming and so-called hyperheuristics, I will illustrate its success using examples from our own work in SAT-based software verification (Hutter et al. 2007), timetabling (Chiarandini, Fawcett, and Hoos 2008) and mixed integer programming (Hutter, Hoos, and Leyton-Brown 2010). Furthermore, I will argue why this approach can be expected to be particularly useful and effective for building better solvers for rich and diverse classes of combinatorial problems, such as planning and scheduling. Finally, I will outline out how programming by optimisation — a design paradigm that emphasises the automated construction of performance-optimised algorithm by means of searching large spaces of alternative designs — has the potential to transform the design of high-performance algorithm from a craft that is based primarily on experience and intuition into a principled and highly effective engineering effort. |
| Author | Hoos, Holger |
| Author_xml | – sequence: 1 givenname: Holger surname: Hoos fullname: Hoos, Holger |
| BookMark | eNo90EtOwzAYBGALFYlSegB2OUBT4rfNLoSnVIkFXbCL_jhusNTYlZ0gdcl9uBtXAFrEakYaaRbfOZr44C1Cl7hYYlHoK2dgl5bvpHB4iSkj4gRNCaUsLxSjk_9O-Rmap-SagjHJheZ0il6r0O_Gwca8dK1ts3LbheiGtz67tcl1_jorxyH0MPxs69E73y2yKvivz49ujDC44BfZi91ac6zg2-zG7oNvL9DpBrbJzv9yhtb3d-vqMV89PzxV5So3ioscFBAulbYUDObYNrxljGilmZBUbiTTlmjTEAVagwCpJAZsdEN0o0grBJ0hfLw1MaQU7abeRddD3Ne4qH9x6gNOfcCpDzj0G-CCXAE |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1609/icaps.v20i1.13426 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| EISSN | 2334-0843 |
| EndPage | 269 |
| ExternalDocumentID | 10_1609_icaps_v20i1_13426 |
| GroupedDBID | AAYXX ALMA_UNASSIGNED_HOLDINGS CITATION M~E |
| ID | FETCH-LOGICAL-c856-a8a25789e3ac151eb5d44298946737f749e29cb28a99a6a7871a1c9b29b82d663 |
| ISSN | 2334-0835 |
| IngestDate | Sat Nov 29 04:22:28 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c856-a8a25789e3ac151eb5d44298946737f749e29cb28a99a6a7871a1c9b29b82d663 |
| OpenAccessLink | https://ojs.aaai.org/index.php/ICAPS/article/download/13426/13275 |
| PageCount | 2 |
| ParticipantIDs | crossref_primary_10_1609_icaps_v20i1_13426 |
| PublicationCentury | 2000 |
| PublicationDate | 2010-05-05 |
| PublicationDateYYYYMMDD | 2010-05-05 |
| PublicationDate_xml | – month: 05 year: 2010 text: 2010-05-05 day: 05 |
| PublicationDecade | 2010 |
| PublicationTitle | Proceedings of the International Conference on Automated Planning and Scheduling |
| PublicationYear | 2010 |
| SSID | ssib044756953 |
| Score | 1.4524405 |
| Snippet | In this talk, I will introduce computer-aided algorithm design and discuss its main ingredients: design patterns, which provide ways of structuring potentially... |
| SourceID | crossref |
| SourceType | Index Database |
| StartPage | 268 |
| Title | Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond |
| Volume | 20 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2334-0843 dateEnd: 99991231 omitProxy: false ssIdentifier: ssib044756953 issn: 2334-0835 databaseCode: M~E dateStart: 20030101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NTuMwELbKz4HLCrQgYAH5sHtBDTRO3NjcqqqIyyIOPfQWObFdKpWk6p84IfEGPAjvxiswtpM0wCLBYS9R61aTNt-nz-PxeAah31Jo4UulPaETDgsUxT0mqPK0CrhULU1D4ppNRNfXbDDgN43GU3kWZjmOsozd3_PJf4UaxgBsc3T2G3BXRmEAXgPocAXY4fol4Ms-DV5nJMGb7IyH-XQ0v70DaTHJGjYSuJjn4KnCp_1FVjQ16YIP2Lv80-mCbzlcOF7Y0KhtlFO8MVF2d-al7tTeVJPgrEw5eBtoXB0rNHsTq7uXHZNc_ijQR5q8-GFFtdzlAF7l42GRRFzEJ9zWeouuZIwEQWhqYLshVR9zBZpKHSatupC6ZjvFnExcO5cPct-21VKBzZPZ2ZK0Rv6ZH4TkH6W13015VSKiWQKBkdiaiK2J2JpYQxskotxI_d-HXqlQpjpim9vSptXfKrbKwcr5hx9Sc3ZqXkt_G_0olhu442iygxoq-4kGbymCK4pgR5ELXEGEHUGaGCB8eX4sidHEFS2aGMDDjhS7qH_Z63evvKLDhpcy2vYEE0axuQpECp6fSqgMQ1uS33Qv0lHIFeFpQpjgXLQFaLsv_JQnhCeMSPBV99B6lmdqH2GtpK9pwqikOhRUMBB7olIRwQo0CVh0gE7LJxFPXB2V-NOHf_idL_9CWyvaHaH1-XShjtFmupyPZtMTC98rtn1u9A |
| linkProvider | ISSN International Centre |
| 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=Computer-Aided+Algorithm+Design%3A+Automated+Tuning%2C+Con%EF%AC%81guration%2C+Selection%2C+and+Beyond&rft.jtitle=Proceedings+of+the+International+Conference+on+Automated+Planning+and+Scheduling&rft.au=Hoos%2C+Holger&rft.date=2010-05-05&rft.issn=2334-0835&rft.eissn=2334-0843&rft.volume=20&rft.spage=268&rft.epage=269&rft_id=info:doi/10.1609%2Ficaps.v20i1.13426&rft.externalDBID=n%2Fa&rft.externalDocID=10_1609_icaps_v20i1_13426 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2334-0835&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2334-0835&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2334-0835&client=summon |