TOAST

swMATH32206MaRDI QIDQ43917FDOQ43917

Author name not available (Why is that?)

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