An abstract view on optimizations in propositional frameworks - Lierler, Yuliya (Annals of Mathematics and Artificial Intelligence, 2023)