Asking the metaquestions in constraint tractability. (English) Zbl 1427.68115
MSC:
68Q25 | Analysis of algorithms and problem complexity |
08A70 | Applications of universal algebra in computer science |
68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) |