Login / Signup

An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations.

Miquel BofillJordi CollJosep SuyMateu Villaret
Published in: Artif. Intell. Rev. (2020)
Keyphrases
  • pseudo boolean constraints
  • logic programming
  • sat encodings
  • pseudo boolean
  • integer linear programming
  • genetic algorithm
  • logic programs
  • sat solvers
  • knowledge representation
  • combinatorial problems
  • solving problems