Magnus Wahlström. An Algorithm for the SAT Problem for Formulae of Linear Length. In Gerth Stølting Brodal, Stefano Leonardi, editors, Algorithms - ESA 2005, 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings. Volume 3669 of Lecture Notes in Computer Science, pages 107-118, Springer, 2005. [doi]