Computing twin-width with SAT and branch & bound

Schidler, Andre; Szeider, Stefan

doi:10.24963/IJCAI.2023/224

by Andre Schidler, Stefan Szeider

Reference:

Computing twin-width with SAT and branch & boundAndre Schidler, Stefan SzeiderThe 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19–25, 2023, Macao, S.A.R. (Edith Elkind, ed.), pages 2013–2021, 2023, ijcai.org.Note: Main Track

Bibtex Entry:

@InProceedings{SchidlerSzeider23,
  author       = {Andre Schidler and Stefan Szeider},
  title        = {Computing twin-width with {SAT} and branch \& bound},
  booktitle = {The 32nd International Joint Conference on Artificial
                  Intelligence (IJCAI-23), August 19--25, 2023, Macao, S.A.R.},
  year      = {2023},
  editor    = {Edith Elkind},
  publisher = {International Joint Conferences on Artificial
                  Intelligence Organization},
  pages        = {2013--2021},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/224},
  doi          = {10.24963/IJCAI.2023/224},
note      = {Main Track},
  keywords = {reveal,slim},
}