Local search for distributed SAT with complex local problems
収録刊行物
-
- Proc. 1st Int. Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS-2002)
-
Proc. 1st Int. Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS-2002) 1199-1206, 2002