A SAT Approach to Branchwidth (bibtex)
by , ,
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},
  year      = {2017},
  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},
}
Powered by bibtexbrowser