Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering.

Jan Behrens Stephan Waack

Published in: STACS (1998)

Keyphrases

variable ordering
model checking
boolean functions
knowledge base
data streams
expert systems
upper bound
max sat
decision diagrams