Sequential equivalence checking using cuts.

Wei Huang Pushan Tang Min Ding

Published in: ASP-DAC (2005)

Keyphrases

sequential search
machine learning
video sequences
database
data sets
neural network
artificial neural networks
integrity constraints
sequential data
consistency checking