Asparagus

swMATH8841MaRDI QIDQ20840FDOQ20840

Author name not available (Why is that?)

Official website: http://asparagus.cs.uni-potsdam.de

Cited In (8)

• NoMoRe
• RunLim
• nomore++
• LAIMA
• TOAST
• 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