Maurício Pires, Uéverton S. Souza, Bruno Lopes 0001. Twin-Treewidth: A Single-Exponential Logic-Based Approach. In Weili Wu 0001, Jianxiong Guo, editors, Combinatorial Optimization and Applications - 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II. Volume 14462 of Lecture Notes in Computer Science, pages 43-55, Springer, 2023. [doi]
Abstract is missing.