Reversible CSP Computations.
Carlos GalindoNaoki NishidaJosep SilvaSalvador TamaritPublished in: IEEE Trans. Parallel Distributed Syst. (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- markov chain
- decomposition methods
- constraint propagation
- cellular automata
- arc consistency
- constraint programming
- information retrieval
- partial constraint satisfaction
- tree decomposition
- constraint networks
- np hard
- orders of magnitude
- state space
- multiscale
- case study
- sat problem
- neural network
- data sets
- tree decompositions
- database