LAIMA

swMATH32207MaRDI QIDQ43918FDOQ43918

Author name not available (Why is that?)

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