SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations | Publicación