On sequent systems and resolution for quantified Boolean formulas (bibtex)
by U. Egly
Reference:
On sequent systems and resolution for quantified Boolean formulasU. EglySAT'12, 2012.
Bibtex Entry:
@inproceedings{Egly-SAT-2012,
title = {On sequent systems and resolution for quantified {Boolean} formulas},
url = {/pubpdf/On_sequent_systems_and_resolution_for_quantified__Boolean__formulas.pdf},
booktitle = {SAT'12},
author = {Egly, U.},
year = {2012},
}
Powered by bibtexbrowser