Unifying DQMax#SAT and DSSAT: Polynomial-Time Reduction and Applications. - Ilo Chen; Che Cheng; Jie-Hong Roland Jiang (FMCAD, 2025)