Masakazu Ishihata. The Bag-Based Search: A Meta-Algorithm to Construct Tractable Logical Circuits for Graphs Based on Tree Decomposition. 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 337-350, Springer, 2023. [doi]
Abstract is missing.