Coherent Cooperation Among Communicating Problem Solvers.

Edmund H. Durfee Victor R. Lesser Daniel D. Corkill

Published in: IEEE Trans. Computers (1987)

Keyphrases

cooperative
sharing information
multi agent systems
communication channels
sat solvers
multi agent
sat solving
quantified boolean formulas
database
database systems
website
randomly generated
distributed problem solving
eigenvalue problems