The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory (Q4210136)

From MaRDI portal





scientific article; zbMATH DE number 1200778
Language Label Description Also known as
default for all languages
No label defined
    English
    The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
    scientific article; zbMATH DE number 1200778

      Statements

      The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory (English)
      0 references
      0 references
      0 references
      21 September 1998
      0 references
      satisfiability
      0 references
      graph coloring
      0 references
      Datalog
      0 references
      group theory
      0 references
      linear equations
      0 references

      Identifiers