Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search.
Mohamed WahbiRedouane EzzahirChristian BessiereEl-Houssine BouyakhfPublished in: ICTAI (2012)
Keyphrases
- distributed search
- maintaining arc consistency
- arc consistency
- constraint satisfaction problems
- heterogeneous agents
- distributed artificial intelligence
- peer to peer systems
- theorem proving
- constraint satisfaction
- multi agent systems
- conflict management
- constraint propagation
- forward checking
- distributed environment
- constraint programming
- multiagent systems
- intelligent agents
- peer to peer
- upper bound
- search space