by Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Reference:
A SAT Approach to BranchwidthNeha Lodha, Sebastian Ordyniak, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/sat/LodhaOS16,
author = "Lodha, Neha and Ordyniak, Sebastian and Szeider, Stefan",
booktitle = "{Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}",
doi = "10.1007/978-3-319-40970-2_12",
editor = "Creignou, Nadia and Berre, Daniel Le",
pages = "179--195",
publisher = "Springer",
series = "{Lecture Notes in Computer Science}",
title = "{A {SAT} Approach to Branchwidth}",
url = "http://repositum.tuwien.ac.at/obvutwoa/download/pdf/2019515",
volume = "9710",
year = "2016"
}