A SAT Approach to Branchwidth

Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan

doi:10.24963/ijcai.2017/689

by Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Reference:

A SAT Approach to BranchwidthNeha Lodha, Sebastian Ordyniak, Stefan SzeiderProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), pages 4894–4898, 2017, ijcai.org.Note: Sister Conference Best Paper Track

Bibtex Entry:

@inproceedings{LodhaOrdyniakSzeider17b,
  author    = {Neha Lodha and
               Sebastian Ordyniak and
               Stefan Szeider},
  title     = {A {SAT} Approach to Branchwidth},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages     = {4894--4898},
  doi       = {10.24963/ijcai.2017/689},
  editor    = {Carles Sierra},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {https://www.ijcai.org/proceedings/2017/0689.pdf},
  note      = {Sister Conference Best Paper Track},
    keywords={branchwidth,local-improvement},
}