An Abstract View on Optimizations in Propositional Frameworks

Open in new window