Lex-Partitioning: A New Option for BDD Search

Stefan Edelkamp Peter Kissmann Álvaro Torralba

Published in: GRAPHITE (2012)

Keyphrases

search algorithm
search tools
search space
web search
information seeking
search strategies
search strategy
search methods
data sets
optimal solution
decision trees
search engine
keyword search
search queries
neural network
exhaustive search
databases