LAIMA

MaRDI QIDQ43918swMATHFDO

Official website https://link.springer.com/chapter/10.1007/11691792_5

Cited in

(3)

• Asparagus
• TOAST
• TOAST: Applying Answer Set Programming to Superoptimisation

This page was built for software: LAIMA