Equivariant algorithms for constraint satisfaction problems over coset templates.
Slawomir LasotaPublished in: Inf. Process. Lett. (2017)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- pseudo boolean optimization
- computational problems
- constraint propagation
- search space
- decomposition methods
- combinatorial problems
- non binary
- backtracking search
- constraint optimization
- constraint programming
- orders of magnitude
- backtracking algorithm
- constraint graph
- forward checking
- constraint problems
- optimization problems
- highly efficient
- simulated annealing
- arc consistency algorithm
- problems in artificial intelligence
- finding optimal solutions
- worst case