Login / Signup

Translating Pseudo-Boolean Constraints into SAT.

Niklas EénNiklas Sörensson
Published in: J. Satisf. Boolean Model. Comput. (2006)
Keyphrases
  • pseudo boolean constraints
  • logic programming
  • logic programs
  • sat encodings
  • pseudo boolean