CV-width: a new complexity parameter for CNFs (Q5283031)

From MaRDI portal





scientific article; zbMATH DE number 6747969
Language Label Description Also known as
default for all languages
No label defined
    English
    CV-width: a new complexity parameter for CNFs
    scientific article; zbMATH DE number 6747969

      Statements

      Identifiers