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