Asparagus

swMATH8841MaRDI QIDQ20840FDOQ20840

scientific article; zbMATH DE number Author name (Why is no real title available?)

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