Symmetry Reduction for the Local Mu-Calculus.

Kedar S. Namjoshi Richard J. Trefler

Published in: CoRR (2019)

Keyphrases

symmetry detection
neural network
data structure
data sets
database
databases
rough sets
development environment
computer algebra
bilateral symmetry