Stem zbdds$ (all stems)

2 papers:

DATE-v1-2004-PadmanabanT #fault #identification #performance #using

Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults (SP, ST), pp. 50–55.

EDTC-1997-Coudert #graph #optimisation #problem

Solving graph optimization problems with ZBDDs (OC), pp. 224–228.