Login / Signup
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations.
Miquel Bofill
Jordi Coll
Josep Suy
Mateu 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