Book chapter 769 views 296 downloads
TOAST: Applying Answer Set Programming to Superoptimisation
Logic Programming, Volume: 4079
Swansea University Author:
Tom Crick
-
PDF | Accepted Manuscript
Download (139.78KB)
DOI (Published version): 10.1007/11799573_21
Abstract
Answer set programming (ASP) is a form of declarative programming particularly suited to difficult combinatorial search problems. However, it has yet to be used for more than a handful of large-scale applications, which are needed to demonstrate the strengths of ASP and to motivate the development o...
Published in: | Logic Programming |
---|---|
ISBN: | 978-3-540-36635-5 978-3-540-36636-2 |
ISSN: | 0302-9743 1611-3349 |
Published: |
Seattle, USA
Springer
2006
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa43401 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2018-08-14T15:01:05Z |
---|---|
last_indexed |
2023-01-11T14:20:04Z |
id |
cronfa43401 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2022-12-18T17:49:04.5692399</datestamp><bib-version>v2</bib-version><id>43401</id><entry>2018-08-14</entry><title>TOAST: Applying Answer Set Programming to Superoptimisation</title><swanseaauthors><author><sid>200c66ef0fc55391f736f6e926fb4b99</sid><ORCID>0000-0001-5196-9389</ORCID><firstname>Tom</firstname><surname>Crick</surname><name>Tom Crick</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2018-08-14</date><deptcode>EDUC</deptcode><abstract>Answer set programming (ASP) is a form of declarative programming particularly suited to difficult combinatorial search problems. However, it has yet to be used for more than a handful of large-scale applications, which are needed to demonstrate the strengths of ASP and to motivate the development of tools and methodology. This paper describes such a large-scale application, the TOAST (Total Optimisation using Answer Set Technology) system, which seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine to handle searching over complex, non-regular search spaces, with the experimental results suggesting that this is a viable approach to the optimisation problem and demonstrates the scalability of a variety of solvers.</abstract><type>Book chapter</type><journal>Logic Programming</journal><volume>4079</volume><journalNumber/><paginationStart/><paginationEnd>284</paginationEnd><publisher>Springer</publisher><placeOfPublication>Seattle, USA</placeOfPublication><isbnPrint>978-3-540-36635-5</isbnPrint><isbnElectronic>978-3-540-36636-2</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>17</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2006</publishedYear><publishedDate>2006-08-17</publishedDate><doi>10.1007/11799573_21</doi><url>https://link.springer.com/chapter/10.1007%2F11799573_21</url><notes>22nd International Conference on Logic Programming (ICLP 2006)</notes><college>COLLEGE NANME</college><department>Education</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-18T17:49:04.5692399</lastEdited><Created>2018-08-14T15:45:19.1884819</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">School of Social Sciences - Education and Childhood Studies</level></path><authors><author><firstname>Martin</firstname><surname>Brain</surname><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author><author><firstname>Marina De</firstname><surname>Vos</surname><order>3</order></author><author><firstname>John</firstname><surname>Fitch</surname><order>4</order></author></authors><documents><document><filename>0043401-12092018070152.pdf</filename><originalFilename>ICLP-camera-ready.pdf</originalFilename><uploaded>2018-09-12T07:01:52.5130000</uploaded><type>Output</type><contentLength>109622</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-09-12T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807> |
spelling |
2022-12-18T17:49:04.5692399 v2 43401 2018-08-14 TOAST: Applying Answer Set Programming to Superoptimisation 200c66ef0fc55391f736f6e926fb4b99 0000-0001-5196-9389 Tom Crick Tom Crick true false 2018-08-14 EDUC Answer set programming (ASP) is a form of declarative programming particularly suited to difficult combinatorial search problems. However, it has yet to be used for more than a handful of large-scale applications, which are needed to demonstrate the strengths of ASP and to motivate the development of tools and methodology. This paper describes such a large-scale application, the TOAST (Total Optimisation using Answer Set Technology) system, which seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine to handle searching over complex, non-regular search spaces, with the experimental results suggesting that this is a viable approach to the optimisation problem and demonstrates the scalability of a variety of solvers. Book chapter Logic Programming 4079 284 Springer Seattle, USA 978-3-540-36635-5 978-3-540-36636-2 0302-9743 1611-3349 17 8 2006 2006-08-17 10.1007/11799573_21 https://link.springer.com/chapter/10.1007%2F11799573_21 22nd International Conference on Logic Programming (ICLP 2006) COLLEGE NANME Education COLLEGE CODE EDUC Swansea University 2022-12-18T17:49:04.5692399 2018-08-14T15:45:19.1884819 Faculty of Humanities and Social Sciences School of Social Sciences - Education and Childhood Studies Martin Brain 1 Tom Crick 0000-0001-5196-9389 2 Marina De Vos 3 John Fitch 4 0043401-12092018070152.pdf ICLP-camera-ready.pdf 2018-09-12T07:01:52.5130000 Output 109622 application/pdf Accepted Manuscript true 2018-09-12T00:00:00.0000000 true eng |
title |
TOAST: Applying Answer Set Programming to Superoptimisation |
spellingShingle |
TOAST: Applying Answer Set Programming to Superoptimisation Tom Crick |
title_short |
TOAST: Applying Answer Set Programming to Superoptimisation |
title_full |
TOAST: Applying Answer Set Programming to Superoptimisation |
title_fullStr |
TOAST: Applying Answer Set Programming to Superoptimisation |
title_full_unstemmed |
TOAST: Applying Answer Set Programming to Superoptimisation |
title_sort |
TOAST: Applying Answer Set Programming to Superoptimisation |
author_id_str_mv |
200c66ef0fc55391f736f6e926fb4b99 |
author_id_fullname_str_mv |
200c66ef0fc55391f736f6e926fb4b99_***_Tom Crick |
author |
Tom Crick |
author2 |
Martin Brain Tom Crick Marina De Vos John Fitch |
format |
Book chapter |
container_title |
Logic Programming |
container_volume |
4079 |
publishDate |
2006 |
institution |
Swansea University |
isbn |
978-3-540-36635-5 978-3-540-36636-2 |
issn |
0302-9743 1611-3349 |
doi_str_mv |
10.1007/11799573_21 |
publisher |
Springer |
college_str |
Faculty of Humanities and Social Sciences |
hierarchytype |
|
hierarchy_top_id |
facultyofhumanitiesandsocialsciences |
hierarchy_top_title |
Faculty of Humanities and Social Sciences |
hierarchy_parent_id |
facultyofhumanitiesandsocialsciences |
hierarchy_parent_title |
Faculty of Humanities and Social Sciences |
department_str |
School of Social Sciences - Education and Childhood Studies{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}School of Social Sciences - Education and Childhood Studies |
url |
https://link.springer.com/chapter/10.1007%2F11799573_21 |
document_store_str |
1 |
active_str |
0 |
description |
Answer set programming (ASP) is a form of declarative programming particularly suited to difficult combinatorial search problems. However, it has yet to be used for more than a handful of large-scale applications, which are needed to demonstrate the strengths of ASP and to motivate the development of tools and methodology. This paper describes such a large-scale application, the TOAST (Total Optimisation using Answer Set Technology) system, which seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine to handle searching over complex, non-regular search spaces, with the experimental results suggesting that this is a viable approach to the optimisation problem and demonstrates the scalability of a variety of solvers. |
published_date |
2006-08-17T03:54:39Z |
_version_ |
1763752730790199296 |
score |
11.021648 |