Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
Libor BartoMichael KompatscherMiroslav OlsákTrung Van PhamMichael PinskerPublished in: J. Math. Log. (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- search space
- constraint solving
- np hard
- np complete
- constraint networks
- non binary
- hard constraints
- tree decompositions
- arc consistency
- global constraints
- forward checking
- disjunctive temporal
- partial constraint satisfaction
- finite domain
- product configuration
- decomposition methods
- soft constraints
- heuristic search
- temporal constraints
- distributed constraint satisfaction
- finding optimal solutions
- disjunctive constraints
- pseudo boolean optimization
- tractable subclasses
- problems in artificial intelligence
- hypertree decomposition
- constraint graph
- constraint problems
- knowledge base
- sat problem