![]() |
@article{DBLP:journals/eccc/RazT07,
author = {Ran Raz and
Iddo Tzameret},
title = {Resolution over Linear Equations and Multilinear Proofs},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {14},
number = {078},
year = {2007},
ee = {http://eccc.hpi-web.de/eccc-reports/2007/TR07-078/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-02-13 by Michael Ley (ley@uni-trier.de)