"Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits"

Jochen Bern, Christoph Meinel, Anna Slobodová (1994)

Details and statistics

DOI:

access: unavailable

type: Informal or Other Publication

metadata version: 2017-06-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics