A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

Aolong Zha Miyuki Koshimura Hiroshi Fujita

Published in: TAAI (2017)

Keyphrases

pseudo boolean constraints
logic programming
pseudo boolean
propositional satisfiability
sat encodings
sat solvers
integer linear programming
combinatorial problems
logic programs
genetic algorithm
knowledge base
optimization problems
boolean functions