Concurrent Backtrack Search on DisCSPs.
Roie ZivanAmnon MeiselsPublished in: FLAIRS Conference (2004)
Keyphrases
- backtrack search
- constraint satisfaction problems
- distributed constraint satisfaction problems
- constraint satisfaction
- constraint programming
- highly efficient
- search algorithm
- sat solvers
- distributed constraint satisfaction
- combinatorial problems
- asynchronous backtracking
- branch and bound algorithm
- np complete
- np hard
- propositional satisfiability
- search space
- search strategies
- tabu search
- artificial intelligence
- orders of magnitude
- logic programs
- low cost
- global constraints
- max sat
- lower bound
- optimal solution