A Contraction Tree SAT Encoding for Computing Twin-Width.

Yinon Horev, Shiraz Shay, Sarel Cohen, Tobias Friedrich, Davis Issac, Lior Kamma, Aikaterini Niklanovits, Kirill Simonov

Browse the full PAKDD paper archive.