RC2: an Efficient MaxSAT Solver (Q5015603)

From MaRDI portal
scientific article; zbMATH DE number 7441861
Language Label Description Also known as
English
RC2: an Efficient MaxSAT Solver
scientific article; zbMATH DE number 7441861

    Statements

    Identifiers