No Cover Image

Book Chapter 34 views 11 downloads

TOAST: Applying Answer Set Programming to Superoptimisation / Martin Brain; Tom Crick; Marina De Vos; John Fitch

Logic Programming, Volume: 4079

Swansea University Author: Crick, Tom

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 2018-10-15T19:17:24Z
id cronfa43401
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T15:00:25Z</datestamp><bib-version>v2</bib-version><id>43401</id><entry>2018-08-14</entry><title>TOAST: Applying Answer Set Programming to Superoptimisation</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><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>Chapter in book</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></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 of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename></degreename><lastEdited>2018-10-15T15:00:25Z</lastEdited><Created>2018-08-14T15:45:19Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Martin</firstname><surname>Brain</surname><orcid/><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author><author><firstname>Marina</firstname><surname>De Vos</surname><orcid/><order>3</order></author><author><firstname>John</firstname><surname>Fitch</surname><orcid/><order>4</order></author></authors><documents><document><filename>0043401-12092018070152.pdf</filename><originalFilename>ICLP-camera-ready.pdf</originalFilename><uploaded>2018-09-12T07:01:52Z</uploaded><type>Output</type><contentLength>109622</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>15/10/2018</actionDate><embargoDate>2018-09-12T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-10-15T15:00:25Z v2 43401 2018-08-14 TOAST: Applying Answer Set Programming to Superoptimisation Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 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. Chapter in book 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 of Arts and Humanities School of Education CAAH EDUC None 2018-10-15T15:00:25Z 2018-08-14T15:45:19Z College of Science Computer Science 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:52Z Output 109622 application/pdf AM true Updated Copyright 15/10/2018 2018-09-12T00:00:00 true eng
title TOAST: Applying Answer Set Programming to Superoptimisation
spellingShingle TOAST: Applying Answer Set Programming to Superoptimisation
Crick, Tom
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_***_Crick, Tom
author Crick, Tom
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 College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
url https://link.springer.com/chapter/10.1007%2F11799573_21
document_store_str 1
active_str 1
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-17T06:20:23Z
_version_ 1639462861383139328
score 10.827389