Multi-Agent algorithms used to solve distributed constraint problems.
Uses hyper-resolution and asyncronous backtracking to send Nogood constraints to agents based on priority order. Example solves a 4 queen problem syncronously as agents' messaging is simulated by agent-to-agent function invocation.
Uses Arc-consistency to reduce agent domains into smaller ones.
