Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong Zha Naoki Uemura Miyuki Koshimura Hiroshi Fujita

Published in: ICTAI (2017)

Keyphrases

pseudo boolean constraints
logic programming
pseudo boolean
sat encodings
combinatorial problems
logic programs
integer linear programming
genetic algorithm
software engineering