Combining restarts, nogoods and decompositions for solving CSPs (Q5283010)

From MaRDI portal





scientific article; zbMATH DE number 6747934
Language Label Description Also known as
default for all languages
No label defined
    English
    Combining restarts, nogoods and decompositions for solving CSPs
    scientific article; zbMATH DE number 6747934

      Statements

      Identifiers