TOAST

swMATH32206MaRDI QIDQ43917FDOQ43917

Author name not available (Why is that?)

Described by source

• TOAST: Applying Answer Set Programming to Superoptimisation

Cited In (2)

• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

This page was built for software: TOAST