Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama. A Moderately Exponential Time Algorithm for k-IBDD Satisfiability. In Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege, editors, Algorithms and Data Structures - 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Volume 9214 of Lecture Notes in Computer Science, pages 554-565, Springer, 2015. [doi]
Abstract is missing.