Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study.

Christophe Mues, Jan Vanthienen

Browse the full KI paper archive.