From CCS to CSP: the m-among-n Synchronisation Approach.
Gerard Ekembe NgondiVasileios KoutavasAndrew ButterfieldPublished in: EXPRESS/SOS (2022)
Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- tree decomposition
- constraint programming
- constraint propagation
- constraint solving
- machine learning
- closest string
- constraint networks
- partial constraint satisfaction
- database
- arc consistency algorithm
- arc consistency
- np hard
- data mining
- data sets
- np complete
- search space
- case study
- computer vision