Asparagus

swMATH8841MaRDI QIDQ20840FDOQ20840

Author name not available (Why is that?)

Cited In (3)

• The nomore + + Approach to Answer Set Solving
• TOAST: Applying Answer Set Programming to Superoptimisation
• Unsatisfiability-based optimization in clasp

This page was built for software: Asparagus