Inproceedings,
Exploiting structure in an AIG based QBF solver.
F. Pigorsch, and C. Scholl.DATE, page 1596-1601. IEEE, (2009)
Meta data
- BibTeX key
- conf/date/PigorschS09
- entry type
- inproceedings
- booktitle
- DATE
- year
- 2009
- pages
- 1596-1601
- publisher
- IEEE
- crossref
- conf/date/2009
- ee
- http://dl.acm.org/citation.cfm?id=1875003
- isbn
- 978-1-4244-3781-8
- url
- http://dblp.uni-trier.de/db/conf/date/date2009.html#PigorschS09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/date/PigorschS09
%A Pigorsch, Florian
%A Scholl, Christoph
%B DATE
%D 2009
%E Benini, Luca
%E Micheli, Giovanni De
%E Al-Hashimi, Bashir M.
%E Müller, Wolfgang
%I IEEE
%K dblp
%P 1596-1601
%T Exploiting structure in an AIG based QBF solver.
%U http://dblp.uni-trier.de/db/conf/date/date2009.html#PigorschS09
%@ 978-1-4244-3781-8
@inproceedings{conf/date/PigorschS09,
added-at = {2022-08-02T00:00:00.000+0200},
author = {Pigorsch, Florian and Scholl, Christoph},
biburl = {https://www.bibsonomy.org/bibtex/24bf0d02fe7089d7cf11e398d69747f65/dblp},
booktitle = {DATE},
crossref = {conf/date/2009},
editor = {Benini, Luca and Micheli, Giovanni De and Al-Hashimi, Bashir M. and Müller, Wolfgang},
ee = {http://dl.acm.org/citation.cfm?id=1875003},
interhash = {786fcbe025cf4a8ae22e6d86909e8073},
intrahash = {4bf0d02fe7089d7cf11e398d69747f65},
isbn = {978-1-4244-3781-8},
keywords = {dblp},
pages = {1596-1601},
publisher = {IEEE},
timestamp = {2024-04-10T06:51:13.000+0200},
title = {Exploiting structure in an AIG based QBF solver.},
url = {http://dblp.uni-trier.de/db/conf/date/date2009.html#PigorschS09},
year = 2009
}