Algorithm for Solving DQBF (bibtex)
by A. Fröhlich, G. Kovásznai, A. Biere
Reference:
Algorithm for Solving DQBFA. Fröhlich, G. Kovásznai, A. BiereProc. 3rd Intl. Work. on Pragmatics of SAT (POS'12), pages 14 pages, 2012.
Bibtex Entry:
@inproceedings{FroehlichKovasznaiBiere-POS12,
title = {Algorithm for Solving {DQBF}},
url = {/pubpdf/Algorithm_for_Solving__DQBF_.pdf},
booktitle = {Proc.~3rd~Intl.~Work.~on Pragmatics of SAT (POS'12)},
author = {A. Fr\"{o}hlich and G. Kov\'{a}sznai and A. Biere},
year = {2012},
pages = {14 pages},
}
Powered by bibtexbrowser