TY - RPRT TI - An Abstract View on Optimizations in Propositional Frameworks AU - Yuliya Lierler PY - 2023 UR - https://arxiv.org/abs/2206.06440 ID - 2206.06440 ER -