PubPeer
The online Journal club
login
create account
Home
Publications
Busy man's synthesis: Combinational delay optimization with SAT
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (2017) -
Comments
doi: 10.23919/date.2017.7927103
Mathias Soeken, Giovanni De Micheli, Alan Mishchenko
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})