Partial Witnesses from Preprocessed Quantified Boolean Formulas (bibtex)
by Martina Seidl, Robert Könighofer
Reference:
Partial Witnesses from Preprocessed Quantified Boolean FormulasMartina Seidl, Robert KönighoferDesign, Automation and Test in Europe (DATE'14), 2014.Note: To appear.
Bibtex Entry:
@inproceedings{SeidlK14,
title = {Partial Witnesses from Preprocessed Quantified Boolean Formulas},
booktitle = {Design, Automation and Test in Europe (DATE'14)},
author = {Martina Seidl and Robert K\"onighofer},
note = {To appear.},
year = {2014},
}
Powered by bibtexbrowser