![]() |
@article{DBLP:journals/eccc/ECCC-TR03-053,
author = {Kazuo Iwama and
Suguru Tamaki},
title = {Improved Upper Bounds for 3-SAT},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {053},
year = {2003},
ee = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-053/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-06-30 by Michael Ley (ley@uni-trier.de)