OBDD
ordered binary decision diagrams with rewriting
Major Section:
MISCELLANEOUS
See
bdd
for information on this topic.
