The University of Warwick Library - WebBridge

Solving d-SAT via backdoors to small Treewidth
Fomin, Fedor V..  Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015.    2015. p. 630 - 641... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.