%0 Conference Paper %1 conf/dac/PigorschS10 %A Pigorsch, Florian %A Scholl, Christoph %B DAC %D 2010 %E Sapatnekar, Sachin S. %I ACM %K dblp %P 170-175 %T An AIG-Based QBF-solver using SAT for preprocessing. %U http://dblp.uni-trier.de/db/conf/dac/dac2010.html#PigorschS10 %@ 978-1-4503-0002-5

@inproceedings{conf/dac/PigorschS10, added-at = {2022-08-02T00:00:00.000+0200}, author = {Pigorsch, Florian and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/25907919fb3452ad4355182882eccc2f5/dblp}, booktitle = {DAC}, crossref = {conf/dac/2010}, editor = {Sapatnekar, Sachin S.}, ee = {https://doi.org/10.1145/1837274.1837318}, interhash = {c871d1de6bc6e5358d91c15349aeaf4e}, intrahash = {5907919fb3452ad4355182882eccc2f5}, isbn = {978-1-4503-0002-5}, keywords = {dblp}, pages = {170-175}, publisher = {ACM}, timestamp = {2024-04-10T06:54:59.000+0200}, title = {An AIG-Based QBF-solver using SAT for preprocessing.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2010.html#PigorschS10}, year = 2010 }