Unifying DQMax#SAT and DSSAT: Polynomial-Time Reduction and Applications.

Ilo Chen, Che Cheng, Jie-Hong Roland Jiang

Browse the full FMCAD paper archive.