Multi-Core BDD Operations for Symbolic Reachability.

Tom van Dijk Alfons Laarman Jaco van de Pol

Published in: Electron. Notes Theor. Comput. Sci. (2013)

Keyphrases

binary decision diagrams
boolean functions
multi agent
genetic algorithm
decision making
e learning
knowledge base
objective function
learning environment
state space