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