Resolution-Based Certificate Extraction for QBF - (Tool Presentation) (bibtex)
by A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. Biere
Reference:
Resolution-Based Certificate Extraction for QBF - (Tool Presentation)A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. BiereProc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12), volume 7317 of LNCS, pages 430-435, 2012, Springer.Note: Reported 2011 too, now formally published
Bibtex Entry:
@inproceedings{NiemetzPreinerLonsingSeidlBiere-SAT12,
publisher = {Springer},
note = {Reported 2011 too, now formally published},
title = {Resolution-Based Certificate Extraction for {QBF} - (Tool Presentation)},
url = {/pubpdf/Resolution-Based_Certificate_Extraction_for__QBF__-_(Tool_Presentation).pdf},
series = {LNCS},
booktitle = {Proc.~15th Intl.~Conf.~on Theory and Applications of Satisfiability
Testing (SAT'12)},
author = {A. Niemetz and M. Preiner and F. Lonsing and M. Seidl and A. Biere},
volume = {7317},
year = {2012},
pages = {430-435},
}
Powered by bibtexbrowser