TOAST: Applying Answer Set Programming to Superoptimisation

DOI10.1007/11799573_21zbMath1131.68367OpenAlexW1549711261MaRDI QIDQ5449606

M. De Vos, John Fitch, Martin Brain, T. Crick

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa43401/Download/0043401-12092018070152.pdf

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP ⋮ Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs ⋮ TOAST ⋮ Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

Uses Software

• ASSAT
• Smodels
• Lparse
• Asparagus
• Denali
• LAIMA

This page was built for publication: TOAST: Applying Answer Set Programming to Superoptimisation