TY - RPRT TI - A SAT Approach to Twin-Width AU - André Schidler AU - Stefan Szeider PY - 2021 UR - https://arxiv.org/abs/2110.06146 ID - 2110.06146 ER -