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

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Browse the full CPAIOR paper archive.