A SAT Approach to Twin-Width (bibtex)
by ,
Reference:
A SAT Approach to Twin-WidthAndré Schidler, Stefan SzeiderProceedings of ALENEX 2022, the 24nd SIAM Symposium on Algorithm Engineering and Experiments, 2022, Society for Industrial and Applied Mathematics (SIAM).Note: to appear
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},
    pdf   = {https://arxiv.org/abs/2110.06146},
  note = {to appear},
  keywords = {slim,reveal},
}
Powered by bibtexbrowser