TU Wien Informatics

Role

  • Turbocharging twin-width heuristics with SAT / Jäger, D. (2024). Turbocharging twin-width heuristics with SAT [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.125321
    Download: PDF (1.79 MB)