Login / Signup

A Compact Encoding of Pseudo-Boolean Constraints into SAT.

Steffen HölldoblerNorbert MantheyPeter Steinke
Published in: KI (2012)
Keyphrases
  • pseudo boolean constraints
  • logic programming
  • pseudo boolean
  • sat encodings
  • integer linear programming
  • artificial intelligence
  • logic programs
  • expert systems
  • knowledge representation