Keyphrases
Graph Coloring
76%
Constraint Satisfaction Problem
76%
Promise Constraint Satisfaction
60%
Right Adjoint
60%
Algebraic Approach
57%
Promise Constraint Satisfaction Problem
56%
Datalog Programs
40%
Hypergraph
40%
3-uniform Hypergraph
40%
Polymorphism
39%
NP-complete
30%
K-coloring
26%
Homomorphism Duality
26%
Adjunction
23%
Lyndon Words
20%
Fixed Constraint
20%
Constraint Language
20%
Relational Structure
20%
Local Consistency
20%
Left Adjoint
20%
Categorical Structure
20%
Dichotomy Theorem
18%
Finite Domain
13%
Graph Homomorphism
13%
Datalog
13%
Homomorphism Problem
13%
Ordered Coloring
13%
Algebraic Topological Methods
13%
Promise Problems
13%
Color number
13%
Database Query
13%
Combinatorial Method
13%
Large Classes
13%
Topological Approach
13%
Chromatic number
13%
NP-hardness
10%
Symmetry of Solutions
10%
Colourable Graphs
10%
Symmetry Measure
10%
Decision Constraint
10%
Covering Problem
10%
Label Cover
10%
Concrete Properties
10%
NP-hard
10%
Tractability
9%
Gadget Reduction
8%
Integrity Constraints
6%
Digraph
6%
Hardness Results
6%
Solution Space
5%
Mathematics
Graph Coloring
76%
Approximates
54%
Hypergraphs
40%
Finite Domain
33%
Approximability
26%
Open Question
26%
Homomorphism
22%
Functor
20%
Adjoints
20%
Lyndon Word
20%
Wide Range
20%
Fixed Set
20%
Solving System
20%
Wide Class
20%
Linear Programming
20%
Algebraic Theory
20%
Polynomial Time
20%
Open Problem
20%
Fixed Number
8%
Edge
8%
Chromatic Number
8%
Solution Space
6%
Computer Science
Constraint Satisfaction Problems
100%
Graph Coloring
44%
Datalog
40%
Database Instance
21%
Local Consistency
20%
Constraint Language
16%
Syntactics
10%
Integrity Constraint
6%
