Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita

Browse the full ICTAI paper archive.