Evgeny Dantsin Edward A. Hirsch Sergei Ivanov Maxim Vsemirnov Algorithms for SAT and Upper Bounds on Their Complexity Electronic Colloquium on Computational Complexity (ECCC) 2001 8 12 db/journals/eccc/eccc8.html#ECCC-TR01-012 http://eccc.hpi-web.de/eccc-reports/2001/TR01-012/index.html