C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Multi-core Symbolic Bisimulation Minimisation.
Tom van Dijk
Jaco van de Pol
Published in:
TACAS (2016)
Keyphrases
</>
neural network
genetic algorithm
artificial intelligence
image segmentation
database systems
data structure
artificial neural networks
symbolic representation