TOAST: Applying Answer Set Programming to Superoptimisation

DOI10.1007/11799573_21MaRDI QIDQ5449606zbMATH OpenOpenAlexFDO

Authors Martin Brain, T. Crick, Marina De Vos, John Fitch

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)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Complex optimization in answer set programming
• A multiparametric view on answer set programming
• On optimal solutions of answer set optimization problems
• scientific article; zbMATH DE number 1890620
• An Introduction to Answer Set Programming and Some of Its Extensions
• Multi-criteria optimization in answer set programming

Cited in

(5)

• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• TOAST
• Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Adaptive large-neighbourhood search for optimisation in answer-set programming

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449606)