No Cover Image

Book chapter 839 views 312 downloads

TOAST: Applying Answer Set Programming to Superoptimisation

Martin Brain, Tom Crick Orcid Logo, Marina De Vos, John Fitch

Logic Programming, Volume: 4079

Swansea University Author: Tom Crick Orcid Logo

Check full text

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

Full description

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

Similar Items