TY  - RPRT
TI  - UpMax: User partitioning for MaxSAT
AU  - Pedro Orvalho
AU  - Vasco Manquinho
AU  - Ruben Martins
PY  - 2023
UR  - https://arxiv.org/abs/2305.16191
ID  - 2305.16191
ER  -