A Contraction Tree SAT Encoding for Computing Twin-Width. - Yinon Horev; Shiraz Shay; Sarel Cohen; Tobias Friedrich 001; Davis Issac; Lior Kamma; Aikaterini Niklanovits; Kirill Simonov (PAKDD (2), 2024)