Login / Signup
Mining Complex Boolean Expressions for Sequential Equivalence Checking.
Neha Goel
Michael S. Hsiao
Naren Ramakrishnan
Mohammed J. Zaki
Published in:
Asian Test Symposium (2010)
Keyphrases
</>
boolean expressions
mining algorithm
web mining
data mining
association rule mining
pattern mining
search engine
decision trees