Empirical Study on SAT-Encodings of the At-Most-One Constraint | Publicación