Evgeny Dantsin Alexander Wolpert An Improved Upper Bound for SAT Electronic Colloquium on Computational Complexity (ECCC) 2005 030 db/journals/eccc/eccc12.html#TR05-030 http://eccc.hpi-web.de/eccc-reports/2005/TR05-030/index.html