%0 Conference Paper %1 conf/isvlsi/WilleGSD08 %A Wille, Robert %A Große, Daniel %A Soeken, Mathias %A Drechsler, Rolf %B ISVLSI %D 2008 %I IEEE Computer Society %K %P 411-416 %T Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. %U http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2008.html#WilleGSD08 %@ 978-0-7695-3170-0

@inproceedings{conf/isvlsi/WilleGSD08, added-at = {2023-12-13T03:30:34.000+0100}, author = {Wille, Robert and Große, Daniel and Soeken, Mathias and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/296653136f9b6a3945b1c5768fcade299/admin}, booktitle = {ISVLSI}, crossref = {conf/isvlsi/2008}, ee = {https://www.wikidata.org/entity/Q59242743}, interhash = {8c0da2c419b392f09156b6f1512a0249}, intrahash = {96653136f9b6a3945b1c5768fcade299}, isbn = {978-0-7695-3170-0}, keywords = {}, pages = {411-416}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T03:30:34.000+0100}, title = {Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2008.html#WilleGSD08}, year = 2008 }