-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.

Aolong Zha Miyuki Koshimura Hiroshi Fujita

Published in: Constraints An Int. J. (2019)

Keyphrases

pseudo boolean constraints
sat encodings
sat solvers
logic programming
pseudo boolean
upper bound
orders of magnitude
sat instances
boolean satisfiability
constraint satisfaction
functional dependencies
boolean functions
combinatorial problems
propositional satisfiability