"OBDD Minimization Based on Two-Level Representation of Boolean Functions."

Yu-Liang Wu et al. (2000)

Details and statistics

DOI: 10.1109/12.895868

access: closed

type: Journal Article

metadata version: 2017-05-20