A SAT Approach to Twin-Width

Open Webpage

André Schidler, Stefan Szeider

Published: 01 Jan 2022, Last Modified: 15 Aug 2024ALENEX 2022EveryoneRevisionsBibTeXCC BY-SA 4.0