Alexandra Goultiaeva, Martina Seidl, Armin Biere. Bridging the gap between dual propagation and CNF-based QBF solving. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 811-814, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
@inproceedings{GoultiaevaSB13, title = {Bridging the gap between dual propagation and CNF-based QBF solving}, author = {Alexandra Goultiaeva and Martina Seidl and Armin Biere}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2485484}, researchr = {https://researchr.org/publication/GoultiaevaSB13}, cites = {0}, citedby = {0}, pages = {811-814}, booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013}, editor = {Enrico Macii}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, isbn = {978-1-4503-2153-2}, }