@第{zbMATH03954822条，作者={Bryant，Randal E.}，Title={Boolean}函数操作的基于图形的算法}，FJournal={IEEE计算机事务处理}，日志={IEEE Trans.Comput.}，ISSN={0018-9340}，体积={35}，页码={677--691}，年份={1986}，语言={英语}，DOI={10.1109/TC.1986.1676819}，关键词={94C10,94C15,68W30,68Q25}，zbMATH={3954822}，Zbl={0593.94022}}