![]() |
@article{DBLP:journals/eccc/ECCC-TR05-027,
author = {Daniel Rolf},
title = {Derandomization of PPSZ for Unique-k-SAT},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {027},
year = {2005},
ee = {http://eccc.hpi-web.de/eccc-reports/2005/TR05-027/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-06-30 by Michael Ley (ley@uni-trier.de)