Encoding cardinality constraints using multiway merge selection networks
scientific article; zbMATH DE number 7137187
scientific article