Inproceedings,
Solving d-SAT via Backdoors to Small Treewidth.
F. Fomin, D. Lokshtanov, N. Misra, M. Ramanujan, and S. Saurabh.SODA, page 630-641. SIAM, (2015)
Meta data
- BibTeX key
- conf/soda/FominLMRS15
- entry type
- inproceedings
- booktitle
- SODA
- year
- 2015
- pages
- 630-641
- publisher
- SIAM
- crossref
- conf/soda/2015
- ee
- https://doi.org/10.1137/1.9781611973730.43
- isbn
- 978-1-61197-373-0
- url
- http://dblp.uni-trier.de/db/conf/soda/soda2015.html#FominLMRS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/soda/FominLMRS15
%A Fomin, Fedor V.
%A Lokshtanov, Daniel
%A Misra, Neeldhara
%A Ramanujan, M. S.
%A Saurabh, Saket
%B SODA
%D 2015
%E Indyk, Piotr
%I SIAM
%K dblp
%P 630-641
%T Solving d-SAT via Backdoors to Small Treewidth.
%U http://dblp.uni-trier.de/db/conf/soda/soda2015.html#FominLMRS15
%@ 978-1-61197-373-0
@inproceedings{conf/soda/FominLMRS15,
added-at = {2021-02-02T00:00:00.000+0100},
author = {Fomin, Fedor V. and Lokshtanov, Daniel and Misra, Neeldhara and Ramanujan, M. S. and Saurabh, Saket},
biburl = {https://www.bibsonomy.org/bibtex/2c39027972136502c3ead73a610652151/dblp},
booktitle = {SODA},
crossref = {conf/soda/2015},
editor = {Indyk, Piotr},
ee = {https://doi.org/10.1137/1.9781611973730.43},
interhash = {c159728349d8dec7916b6472b776ca00},
intrahash = {c39027972136502c3ead73a610652151},
isbn = {978-1-61197-373-0},
keywords = {dblp},
pages = {630-641},
publisher = {SIAM},
timestamp = {2024-04-09T11:21:57.000+0200},
title = {Solving d-SAT via Backdoors to Small Treewidth.},
url = {http://dblp.uni-trier.de/db/conf/soda/soda2015.html#FominLMRS15},
year = 2015
}