![](/img/cover-not-exists.png)
[IEEE 2008 IEEE Computer Society Annual Symposium on VLSI - Montpellier, France (2008.04.7-2008.04.9)] 2008 IEEE Computer Society Annual Symposium on VLSI - Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability
Wille, Robert, Große, Daniel, Soeken, Mathias, Drechsler, RolfYear:
2008
Language:
english
DOI:
10.1109/ISVLSI.2008.82
File:
PDF, 260 KB
english, 2008