Symmetry Reduction for the Local Mu-Calculus.

Kedar S. Namjoshi Richard J. Trefler

Published in: TACAS (2) (2018)

Keyphrases

symmetry detection
reduction method
automated deduction
information retrieval
image segmentation
database systems
perspective images