TY - RPRT TI - Unifying Framework for Optimizations in non-boolean Formalisms AU - Yuliya Lierler PY - 2022 UR - https://arxiv.org/abs/2206.07862 ID - 2206.07862 ER -