@article{DBLP:journals/eccc/ECCC-TR03-010,
author = {Sven Baumer and
Rainer Schuler},
title = {Improving a probabilistic 3-SAT Algorithm by Dynamic Search
and Independent Clause Pairs},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {10},
number = {010},
year = {2003},
ee = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-010/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-12-22 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
