Loading...
conference paper
SAT Based Exact Synthesis using DAG Topology Families
June 28, 2018
Proceedings of the 2018 ACM/IEEE Design Automation Conference (DAC)
Type
conference paper
Authors
Publication date
2018-06-28
Published in
Proceedings of the 2018 ACM/IEEE Design Automation Conference (DAC)
Note
ERC Cybercare 669354 / SNF MAJesty 200021-169084/SRC contract 2710001
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
San Francisco, California, USA | June 24-28, 2018 | |
Available on Infoscience
June 8, 2018
Use this identifier to reference this record