Symmetry Breaking for Distributed Multi-Context Systems

Christian Drescher Thomas Eiter Michael Fink Thomas Krennwallner Toby Walsh

Published in: CoRR (2011)

Keyphrases

symmetry breaking
multi context systems
constraint programming
search tree
cooperative
information flow
artificial intelligence
multi agent
expert systems
simulated annealing
np complete
constraint satisfaction problems
sat solvers
bdi agents
integer linear programming