TOAST

MaRDI QIDQ43917swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F11799573_21

Described by source

• TOAST: Applying Answer Set Programming to Superoptimisation

Cited in

(5)

• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
• Lparse
• Asparagus
• LAIMA

This page was built for software: TOAST