Venkatesh Raman, Bal Sri Shankar. Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem. In Subir Kumar Ghosh, Takeshi Tokuyama, editors, WALCOM: Algorithms and Computation, 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings. Volume 7748 of Lecture Notes in Computer Science, pages 265-273, Springer, 2013. [doi]