Article,

Graph Driven BDDs - A New Data Structure for Boolean Functions.

, and .
Theor. Comput. Sci., 141 (1&2): 283-310 (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews