A Contraction Tree SAT Encoding for Computing Twin-Width

von Horev, Yinon
Veröffentlicht in Pacific-Asia Conference on Knowledge Discovery and Data Mining (28. : 2024 : Taipeh) Advances in knowledge discovery and data mining ; Part 2 (2024)