Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers.

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Browse the full ICTAI paper archive.