SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) | Publicación