Login / Signup

A Translation of Pseudo Boolean Constraints to SAT.

Olivier BailleuxYacine BoufkhadOlivier Roussel
Published in: J. Satisf. Boolean Model. Comput. (2006)
Keyphrases
  • pseudo boolean constraints
  • logic programming
  • pseudo boolean
  • logic programs
  • sat encodings
  • machine learning
  • knowledge base
  • evolutionary algorithm
  • programming language
  • machine translation