Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.

Roberto Bagnara Peter Schachte

Published in: AMAST (1998)

Keyphrases

pairwise
efficient implementation
part of speech
search algorithm
database
information systems
image processing
decision trees
multiscale
data structure
co occurrence
origin destination