Improved Single Pass Algorithms for Resolution Proof Reduction (bibtex)
by Ashutosh Gupta
Reference:
Improved Single Pass Algorithms for Resolution Proof ReductionAshutosh GuptaATVA, pages 107-121, 2012.
Bibtex Entry:
@inproceedings{ATVA,
title = {Improved Single Pass Algorithms for Resolution Proof Reduction},
ee = {http://dx.doi.org/10.1007/978-3-642-33386-6_10},
booktitle = {ATVA},
author = {Ashutosh Gupta},
url = {/pubpdf/Improved_Single_Pass_Algorithms_for_Resolution_Proof_Reduction.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {107-121},
crossref = {DBLP:conf/atva/2012},
}
Powered by bibtexbrowser