Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis.

Amit Goel Randal E. Bryant

Published in: DATE (2003)

Keyphrases

reachability analysis
artificial intelligence
small number
machine learning
learning algorithm
relational databases
user defined
qualitative and quantitative