A SAT Approach to Branchwidth

Neha Lodha, Sebastian Ordyniak; Szeider, Stefan

by Sebastian Ordyniak Neha Lodha, Stefan Szeider

Reference:

A SAT Approach to BranchwidthSebastian Ordyniak Neha Lodha, Stefan Szeider2016, Technical report AC-TR-16-004, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

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