![](/img/cover-not-exists.png)
[IEEE 2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Montpellier, France (2015.7.8-2015.7.10)] 2015 IEEE Computer Society Annual Symposium on VLSI - Exploiting Circuit Duality to Speed up SAT
Amaru, Luca, Gaillardon, Pierre-Emmanuel, Mishchenko, Alan, Ciesielski, Maciej, Micheli, Giovanni DeYear:
2015
Language:
english
DOI:
10.1109/isvlsi.2015.18
File:
PDF, 1.09 MB
english, 2015