Skip to content

Efficient Rule Base Verification Using Binary Decision Diagrams.

Christophe Mues, Jan Vanthienen

VenueCDEXA
Year2004
ProceedingsDEXA

Browse the full DEXA paper archive.