modopt

swMATH33090MaRDI QIDQ44799FDOQ44799

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_66

Described by source

• Removing Redundancy from Answer Set Programs

Cited In (2)

• Cumulativity Tailored for Nonmonotonic Reasoning
• Lpopt

This page was built for software: modopt