A SAT Approach to Branchwidth

Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan

doi:10.1007/978-3-319-40970-2_12

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"
}