Cardinality Encodings for Graph Optimization Problems | Publicación