Tight bound on Johnson's algorithm for maximum satisfiability (Q1307701)

From MaRDI portal





scientific article; zbMATH DE number 1359929
Language Label Description Also known as
English
Tight bound on Johnson's algorithm for maximum satisfiability
scientific article; zbMATH DE number 1359929

    Statements

    Identifiers