[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, Rolf
- 文件大小259.52KB
- 发表时间2008
- DOI10.1109/ISVLSI.2008.82
- 页码411-416
Reentrant behavior of superconducting alloysBorycki, Dawid; Maćkowiak, Jan · Superconductor Science and Technology · 2011
Josephson effects in iron based superconductorsSeidel, Paul · Superconductor Science and Technology · 2011
Superconducting bearingsHull, John R · Superconductor Science and Technology · 2000
Status of the ITER magnetsSalpietro, E · Superconductor Science and Technology · 2006
Crystal growth of HTSC materialsAssmus, W; Schmidbauer, W · Superconductor Science and Technology · 1993
Author index with titlesSuperconductor Science and Technology · 2004
MgB <sub/>2</sub> thin filmsXi, X X · Superconductor Science and Technology · 2009
Flux cutting in superconductorsCampbell, A M · Superconductor Science and Technology · 2011