C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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