An n log n Alogrithm for Deterministic Kripke Structure Minimization

Karl Meinke Muddassar A. Sindhu

Published in: CoRR (2012)

Keyphrases

databases
lower bound
structural information
data sets
neural network
real world
information systems
case study
face recognition
data structure
network structure
black box
structural properties
graph structure