A SAT Approach to Twin-Width

From MaRDI portal
Publication:6380101

arXiv2110.06146MaRDI QIDQ6380101

André Schidler, Stefan Szeider

Publication date: 12 October 2021










This page was built for publication: A SAT Approach to Twin-Width