The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory (Q4210136): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Datalog / rank | |||
Normal rank | |||
Revision as of 03:47, 28 February 2024
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
