Asynchronous Forward-checking for DisCSPs.
Amnon MeiselsRoie ZivanPublished in: Constraints An Int. J. (2007)
Keyphrases
- forward checking
- constraint satisfaction problems
- distributed constraint satisfaction problems
- constraint satisfaction
- distributed constraint satisfaction
- maintaining arc consistency
- backtracking algorithm
- arc consistency
- conflict directed
- constraint propagation
- search space
- np complete
- constraint programming
- asynchronous backtracking
- combinatorial problems
- np hard
- non binary
- constraint networks
- random instances
- variable ordering
- sat problem
- ordering heuristics
- graph coloring
- optimization problems
- evolutionary algorithm