Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation.

Gianpiero Cabodi Paolo Camurati

Published in: ICCD (1993)

Keyphrases

information systems
three dimensional
data structure
cost effective
computationally expensive
data sets
real world
information retrieval
artificial intelligence
case study
computationally efficient
tree structure