1. Decision diagram techniques for micro- and nanoelectronic design handbook;Yanushkevich,2006
2. MDD-based synthesis of multi-valued logic networks;Drechsler,2000
3. Verification of multi-valued logic networks;Drechsler,1996
4. Symbolic model checking: 10/sup 20/ states and beyond;Burch,1990
5. Decision diagrams in machine learning: An empirical study on real-life credit-risk data;Mues;Expert Syst Appl,2004