Josep Díaz Lefteris M. Kirousis Dieter Mitsche Xavier Pérez-Giménez A new upper bound for 3-SAT http://arxiv.org/abs/0807.3600 2008 CoRR abs/0807.3600 db/journals/corr/corr0807.html#abs-0807-3600 informal publication