Sign in

Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong ZhaNaoki UemuraMiyuki KoshimuraHiroshi 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