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 |
|---|---|---|---|
| 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
21 September 1998
0 references
satisfiability
0 references
graph coloring
0 references
Datalog
0 references
group theory
0 references
linear equations
0 references
