OBDD

ordered binary decision diagrams with rewriting
Major Section:  MISCELLANEOUS

See bdd for information on this topic.