NoGood Caching for MultiAgent Backtrack Search.
William S. HavensPublished in: AAAI Workshop: Constraints & Agents (1997)
Keyphrases
- backtrack search
- multi agent
- constraint programming
- global constraints
- constraint satisfaction problems
- constraint satisfaction
- branch and bound algorithm
- highly efficient
- branch and bound
- sat solvers
- multiagent systems
- search strategies
- propositional satisfiability
- combinatorial problems
- search algorithm
- query processing
- search space
- arc consistency
- symmetry breaking
- lower bound
- knowledge base
- optimal solution
- np complete
- propositional logic
- randomly generated
- phase transition
- search strategy
- heuristic search
- low cost
- expert systems