A SAT Approach to Twin-Width

Schidler, André; Szeider, Stefan

doi:10.1137/1.9781611977042.6

by André Schidler, Stefan Szeider

Reference:

A SAT Approach to Twin-WidthAndré Schidler, Stefan SzeiderProceedings of ALENEX 2022, the 24nd SIAM Symposium on Algorithm Engineering and Experiments (Cynthia A. Phillips, Bettina Speckmann, eds.), pages 67–77, 2022, Society for Industrial and Applied Mathematics (SIAM).

Bibtex Entry:

@string{siam="Society for Industrial and Applied Mathematics (SIAM)"}
@inproceedings{SchidlerSzeider22,
  author    = {Andr\'{e} Schidler and Stefan Szeider},
  title     = {A {SAT} Approach to Twin-Width},
  booktitle = {Proceedings of ALENEX 2022, the 24nd SIAM Symposium on
                  Algorithm Engineering and Experiments},
  year      = {2022},
  publisher = {SIAM},
  editor = {Cynthia A. Phillips and Bettina Speckmann},
  pages = {67--77},
  pdf   = {10.1137/1.9781611977042.6">https://epubs.siam.org/doi/pdf/10.1137/1.9781611977042.6},
  doi = {10.1137/1.9781611977042.6},
  keywords = {slim,reveal},
}