A Unified Proof System for QBF Preprocessing (bibtex)
by Marijn Heule, Martina Seidl, Armin Biere
Reference:
A Unified Proof System for QBF PreprocessingMarijn Heule, Martina Seidl, Armin Biereto appear, 2014, Springer.
Bibtex Entry:
@inproceedings{ijcar2014,
publisher = {Springer},
title = {A Unified Proof System for {QBF} Preprocessing},
url = {/pubpdf/A_Unified_Proof_System_for__QBF__Preprocessing.pdf},
booktitle = {to appear},
author = {Heule, Marijn and Seidl, Martina and Biere, Armin},
year = {2014},
}
Powered by bibtexbrowser