TOAST: Applying answer set programming to superoptimisation


Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. In: Logic Programming, Proceedings.Vol. 4079. , pp. 270-284. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


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.


Item Type Book Sections
CreatorsBrain, M., Crick, T., De Vos, M. and Fitch, J.
DepartmentsFaculty of Science > Computer Science
ID Code5367
Additional InformationID number: ISI:000240061200019


Actions (login required)

View Item