Journal article
Canonical computation without canonical representation
- Mishchenko, Alan University of California
- Brayton, Robert University of California
- Petkovska, Ana EPFL, Lausanne, Switzerland
- Soeken, Mathias EPFL, Lausanne, Switzerland
- Amarú, Luca Synopsys Inc.
- Domic, Antun Synopsys Inc.
- 2018-6-24
Published in:
- Proceedings of the 55th Annual Design Automation Conference. - ACM. - 2018
- Language
-
- English
- Open access status
- closed
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/130225
Export to…
Statistics
Document views: 41
File downloads: