![](/img/cover-not-exists.png)
[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Improving circuit size upper bounds using SAT-solvers
Kulikov, Alexander S.Year:
2018
Language:
english
DOI:
10.23919/DATE.2018.8342026
File:
PDF, 101 KB
english, 2018