Christophe Mues, Jan Vanthienen. Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study. In Susanne Biundo, Thom W. Frühwirth, Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Volume 3238 of Lecture Notes in Computer Science, pages 381-395, Springer, 2004. [doi]
Abstract is missing.