Hrushovski's Encoding and ω-Categorical CSP Monsters.
Pierre GillibertJulius JonusasMichael KompatscherAntoine MottetMichael PinskerPublished in: ICALP (2020)
Keyphrases
- constraint satisfaction problems
- sat encodings
- constraint programming
- constraint propagation
- categorical data
- encoding scheme
- encoding schemes
- constraint satisfaction
- database
- fractal image compression
- decomposition methods
- arc consistency
- numerical values
- variable length
- tree decomposition
- constraint solving
- multiscale