Tagged BDDs: Combining reduction rules from different decision diagram types

Tom Van Dijk, Robert Wille, Robert Meolic

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Tagged BDDs: Combining reduction rules from different decision diagram types'. Together they form a unique fingerprint.

Computer Science