Asparagus

MaRDI QIDQ20840swMATHFDO

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