Bridging the Gap between Dual Propagation and CNF-based QBF Solving (bibtex)
by A. Goultiaeva, M. Seidl, A. Biere
Reference:
Bridging the Gap between Dual Propagation and CNF-based QBF SolvingA. Goultiaeva, M. Seidl, A. BiereProc. Intl. Conf. on Design, Automation & Test in Europe (DATE'13), pages 811-814, 2013.
Bibtex Entry:
@inproceedings{GoultiaevaSeidlBiere-DATE13,
title = {Bridging the Gap between Dual Propagation and {CNF}-based {QBF} Solving},
url = {/pubpdf/Bridging_the_Gap_between_Dual_Propagation_and__CNF_-based__QBF__Solving.pdf},
booktitle = {Proc.~Intl.~Conf.~on Design, Automation \& Test in Europe (DATE'13)},
author = {A. Goultiaeva and M. Seidl and A. Biere},
year = {2013},
pages = {811-814},
}
Powered by bibtexbrowser