An Abstract View on Optimizations in SAT and ASP.

Yuliya Lierler

Browse the full JELIA paper archive.