Computing twin-width with SAT and branch & bound

Schidler, Andre; Szeider, Stefan

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.), 2023, International Joint Conferences on Artificial Intelligence Organization.Note: Main Track, to appear

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},
  note      = {Main Track, to appear},
  keywords = {reveal,slim},
}