Login / Signup

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

Naoyuki TamuraMutsunori BanbaraTakehide Soh
Published in: ICTAI (2013)
Keyphrases
  • pseudo boolean constraints
  • logic programming
  • artificial intelligence
  • knowledge base
  • constraint satisfaction
  • normal form
  • sat encodings