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

Detlef Sieling, Ingo Wegener (1995)

Details and statistics

DOI: 10.1016/0304-3975(94)00078-W

access: open

type: Journal Article

metadata version: 2021-02-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics