%0 Conference Paper %1 conf/glvlsi/ChenM12 %A Chen, Huan %A Marques-Silva, João %B ACM Great Lakes Symposium on VLSI %D 2012 %E Brunvard, Erik %E Stevens, Ken %E Cavallaro, Joseph R. %E Zhang, Tong %I ACM %K dblp %P 141-146 %T New & improved models for SAT-based bi-decomposition. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2012.html#ChenM12 %@ 978-1-4503-1244-8

@inproceedings{conf/glvlsi/ChenM12, added-at = {2020-02-24T00:00:00.000+0100}, author = {Chen, Huan and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/2218e564c6b35eaf7079b41218d8f56da/dblp}, booktitle = {ACM Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/2012}, editor = {Brunvard, Erik and Stevens, Ken and Cavallaro, Joseph R. and Zhang, Tong}, ee = {https://doi.org/10.1145/2206781.2206817}, interhash = {8afe4fd756478d9d59624415bf8bcfd9}, intrahash = {218e564c6b35eaf7079b41218d8f56da}, isbn = {978-1-4503-1244-8}, keywords = {dblp}, pages = {141-146}, publisher = {ACM}, timestamp = {2020-02-25T14:23:45.000+0100}, title = {New & improved models for SAT-based bi-decomposition.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2012.html#ChenM12}, year = 2012 }