Equivalence Checking Using Independent Cuts.

Zhan Xu Xiaolang Yan Yongjiang Lu Haitong Ge

Published in: Asian Test Symposium (2003)

Keyphrases

data sets
database
consistency checking
learning algorithm
neural network
genetic algorithm
search engine
information systems
web pages
high level
feature space
lower bound
user interface