?
Proceedings of the 26th Asia and South Pacific Design Automation Conference ,
8
Algebraic and Boolean Optimization Methods for AQFP Superco..:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
10
A logic synthesis toolbox for reducing the multiplicative c..:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
12
SAT-sweeping enhanced for logic synthesis:
, In:
?
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
13
A Logic Synthesis Toolbox for Reducing the Multiplicative C..:
, In:
?
2020 57th ACM/IEEE Design Automation Conference (DAC) ,
15