A SAT Approach to Branchwidth

Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan

by Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Reference:

A SAT Approach to BranchwidthNeha Lodha, Sebastian Ordyniak, Stefan Szeider2019, Technical report AC-TR-19-010, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{LodhaOrdyniakSzeider19tr,
  author    = {Neha Lodha and
               Sebastian Ordyniak and
               Stefan Szeider},
  title     = {A {SAT} Approach to Branchwidth},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year         = {2019},
  number       = {AC-TR-19-010},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-010.pdf},
}