Algorithm for Solving DQBF (bibtex)
by A. Fröhlich, G. Kovásznai, A. Biere
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:
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