Canonical Computation without Canonical Representation

Mishchenko, A; Brayton, R; Petkovska, A; Soeken, M; Amaru, L; Domic, A

Mishchenko, A (reprint author), Univ Calif Berkeley, Dept EECS, Berkeley, CA 94720 USA.

2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018; ():

Abstract

A representation of a Boolean function is canonical if, given a variable order, only one instance of the representation is possible for the function. ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索