Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita. Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 9-17, IEEE, 2013. [doi]

The following publications are possibly variants of this publication:

N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSATAolong Zha, Miyuki Koshimura, Hiroshi Fujita. constraints, 24(2):133-161, 2019. [doi]

runs on WebDSL