ReverCSP: Time-Travelling in CSP Computations.
Carlos GalindoNaoki NishidaJosep SilvaSalvador TamaritPublished in: RC (2020)
Keyphrases
- constraint satisfaction problems
- constraint programming
- partial constraint satisfaction
- tree decomposition
- decomposition methods
- arc consistency
- constraint propagation
- constraint satisfaction
- search space
- data sets
- constraint solving
- evolutionary algorithm
- data structure
- search engine
- random instances
- solving constraint satisfaction problems
- learning algorithm