QBF Resolution Systems and their Proof Complexities (bibtex)
by Valeriy Balabanov, Magdalena Widl, Jie-Hong Roland Jiang
Reference:
QBF Resolution Systems and their Proof ComplexitiesValeriy Balabanov, Magdalena Widl, Jie-Hong Roland Jiang17th International Conference on Theory and Applications of Satisfiability Testing, 2014, Springer.Note: to appear
Bibtex Entry:
@inproceedings{BalabanovWidlJiangSAT2014,
publisher = {Springer},
title = {{QBF} Resolution Systems and their Proof Complexities},
url = {/pubpdf/_QBF__Resolution_Systems_and_their_Proof_Complexities.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {17th International Conference on Theory and Applications of Satisfiability
Testing},
author = {Valeriy Balabanov and Magdalena Widl and Jie-Hong Roland Jiang},
note = {to appear},
year = {2014},
}
Powered by bibtexbrowser