Computing Twin-width with SAT and Branch & Bound.

Andr Schidler, Stefan Szeider

Browse the full IJCAI paper archive.