CSP-based counter abstraction for systems with node identifiers.

Tomasz Mazur Gavin Lowe

Published in: Sci. Comput. Program. (2014)

Keyphrases

expert systems
knowledge based systems
learning algorithm
information systems
cooperative
multi agent systems
search space
source code
computer systems
learning systems
complex systems