SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations.

Miquel Bofill Jordi Coll Josep Suy Mateu Villaret

Published in: CPAIOR (2019)

Keyphrases

sat encodings
pseudo boolean constraints
sat solvers
combinatorial problems
constraint satisfaction problems
graph coloring
logic programming
traveling salesman problem
planning problems
general purpose
constraint satisfaction
temporal planning