Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/date/GoultiaevaSB13
%A Goultiaeva, Alexandra
%A Seidl, Martina
%A Biere, Armin
%B DATE
%D 2013
%E Macii, Enrico
%I EDA Consortium San Jose, CA, USA / ACM DL
%K
%P 811-814
%T Bridging the gap between dual propagation and CNF-based QBF solving.
%U http://dblp.uni-trier.de/db/conf/date/date2013.html#GoultiaevaSB13
%@ 978-1-4503-2153-2
@inproceedings{conf/date/GoultiaevaSB13,
added-at = {2023-12-13T06:12:22.000+0100},
author = {Goultiaeva, Alexandra and Seidl, Martina and Biere, Armin},
biburl = {https://www.bibsonomy.org/bibtex/2567c88c71caf9d3f0dbe173b0fb94b7d/admin},
booktitle = {DATE},
crossref = {conf/date/2013},
editor = {Macii, Enrico},
ee = {http://dl.acm.org/citation.cfm?id=2485484},
interhash = {ab6602c40986e5faa355193bd2619ab0},
intrahash = {567c88c71caf9d3f0dbe173b0fb94b7d},
isbn = {978-1-4503-2153-2},
keywords = {},
pages = {811-814},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
timestamp = {2023-12-13T06:12:22.000+0100},
title = {Bridging the gap between dual propagation and CNF-based QBF solving.},
url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#GoultiaevaSB13},
year = 2013
}