The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain (Q5035876)

From MaRDI portal





scientific article; zbMATH DE number 7479302
Language Label Description Also known as
default for all languages
No label defined
    English
    The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain
    scientific article; zbMATH DE number 7479302

      Statements

      The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain (English)
      0 references
      22 February 2022
      0 references
      ideal membership problem
      0 references
      Gröbner basis
      0 references
      constraint satisfaction problems
      0 references
      theta bodies
      0 references
      sum-of-squares
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references