Rajeev Goré, Jason Jingshi Li, Thomas Pagram. Implementing Modal Tableaux Using Sentential Decision Diagrams. In Bernhard Pfahringer, Jochen Renz, editors, AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Volume 9457 of Lecture Notes in Computer Science, pages 218-228, Springer, 2015. [doi]
Abstract is missing.