Luca Trevisan On Local versus Global Satisfiability Electronic Colloquium on Computational Complexity (ECCC) 1997 12 4 db/journals/eccc/eccc4.html#ECCC-TR97-012 http://eccc.hpi-web.de/eccc-reports/1997/TR97-012/index.html