Solving <i>d-</i>SAT via Backdoors to Small Treewidth. Fomin, F. V., Lokshtanov, D., Misra, N., Ramanujan, M. S., & Saurabh, S. In Proceedings of Symposium on Discrete Algorithms (SODA), pages 630-641, 2015. Paper bibtex @inproceedings{ dblp1913962,
title = {Solving <i>d-</i>SAT via Backdoors to Small Treewidth},
author = {Fedor V. Fomin and Daniel Lokshtanov and Neeldhara Misra and M. S. Ramanujan and Saket Saurabh},
author_short = {Fomin, F. V. and Lokshtanov, D. and Misra, N. and Ramanujan, M. S. and Saurabh, S.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2015},
key = {dblp1913962},
id = {dblp1913962},
biburl = {http://www.dblp.org/rec/bibtex/conf/soda/FominLMRS15},
url = {http://dx.doi.org/10.1137/1.9781611973730.43},
conference = {SODA},
pages = {630-641},
text = {SODA 2015:630-641},
booktitle = {Proceedings of Symposium on Discrete Algorithms (SODA)}
}
Downloads: 0
{"_id":"pib79RhvzG2ruX2gb","bibbaseid":"fomin-lokshtanov-misra-ramanujan-saurabh-solvingidisatviabackdoorstosmalltreewidth-2015","downloads":0,"creationDate":"2015-06-23T17:42:39.275Z","title":"Solving <i>d-</i>SAT via Backdoors to Small Treewidth","author_short":["Fomin, F. V.","Lokshtanov, D.","Misra, N.","Ramanujan, M. S.","Saurabh, S."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/soda/FominLMRS15","bibdata":{"title":"Solving <i>d-</i>SAT via Backdoors to Small Treewidth","author":["Fedor V. Fomin","Daniel Lokshtanov","Neeldhara Misra","M. S. Ramanujan","Saket Saurabh"],"author_short":["Fomin, F. V.","Lokshtanov, D.","Misra, N.","Ramanujan, M. S.","Saurabh, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1913962","id":"dblp1913962","biburl":"http://www.dblp.org/rec/bibtex/conf/soda/FominLMRS15","url":"http://dx.doi.org/10.1137/1.9781611973730.43","conference":"SODA","pages":"630-641","text":"SODA 2015:630-641","booktitle":"Proceedings of Symposium on Discrete Algorithms (SODA)","bibtex":"@inproceedings{ dblp1913962,\n title = {Solving <i>d-</i>SAT via Backdoors to Small Treewidth},\n author = {Fedor V. Fomin and Daniel Lokshtanov and Neeldhara Misra and M. S. Ramanujan and Saket Saurabh},\n author_short = {Fomin, F. V. and Lokshtanov, D. and Misra, N. and Ramanujan, M. S. and Saurabh, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1913962},\n id = {dblp1913962},\n biburl = {http://www.dblp.org/rec/bibtex/conf/soda/FominLMRS15},\n url = {http://dx.doi.org/10.1137/1.9781611973730.43},\n conference = {SODA},\n pages = {630-641},\n text = {SODA 2015:630-641},\n booktitle = {Proceedings of Symposium on Discrete Algorithms (SODA)}\n}","bibbaseid":"fomin-lokshtanov-misra-ramanujan-saurabh-solvingidisatviabackdoorstosmalltreewidth-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1137/1.9781611973730.43"},"downloads":0},"search_terms":["solving","sat","via","backdoors","small","treewidth","fomin","lokshtanov","misra","ramanujan","saurabh"],"keywords":[],"authorIDs":["55899a8faca630573e0006e6"],"dataSources":["xyWCDT7hxH58y3AXe"]}