A SAT Approach to Branchwidth

Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan

doi:10.1145/3326159

by Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Reference:

A SAT Approach to BranchwidthNeha Lodha, Sebastian Ordyniak, Stefan SzeiderACM Transactions on Computational Logic, volume 20, number 3, pages 15:1–15:24, 2019.

Bibtex Entry:

@string{acmtcl="ACM Transactions on Computational Logic"}
@article{LodhaOrdyniakSzeider19,
  author    = {Neha Lodha and
               Sebastian Ordyniak and
               Stefan Szeider},
  title     = {A {SAT} Approach to Branchwidth},
  journal   = ACMTCL,
  volume    = {20},
  number    = {3},
  pages     = {15:1--15:24},
  year      = {2019},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-010.pdf},
  doi       = {10.1145/3326159},
}