Computing Bottom SCCs Symbolically Using Transition Guided Reduction.

Nikola Benes Lubos Brim Samuel Pastva David Safránek

Published in: CAV (1) (2021)

Keyphrases

real world
data sets
databases
neural network
machine learning
real time
search engine
computer vision
video sequences
search algorithm
reduction method