TY  - RPRT
TI  - DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
AU  - Anastasios Kyrillidis
AU  - Moshe Y. Vardi
AU  - Zhiwei Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2205.03747
ID  - 2205.03747
ER  -