Ernst Althaus, Daniela Schnurbusch. Reducing Treewidth for SAT-Related Problems Using Simple Liftings. In Amitabh Basu, Ali Ridha Mahjoub, Juan José Salazar González, editors, Combinatorial Optimization - 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers. Volume 14594 of Lecture Notes in Computer Science, pages 175-191, Springer, 2024. [doi]
Abstract is missing.