An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations | Publicación