Resizing cardinality constraints for MaxSAT (Q5145443)

From MaRDI portal
scientific article; zbMATH DE number 7298908
Language Label Description Also known as
English
Resizing cardinality constraints for MaxSAT
scientific article; zbMATH DE number 7298908

    Statements

    Identifiers