Computing Distinguishing Formulas for Branching Bisimulation.

Published in: CAV (1991)

Keyphrases

branch and bound
search tree
information systems
tree decompositions
machine learning
genetic algorithm
artificial intelligence
image sequences
multiscale
search algorithm
computational complexity
hidden markov models