Stem bds$ (all stems)
3 papers:
- DAC-2013-AmaruGM #composition #logic #named #synthesis
- BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition (LGA, PEG, GDM), p. 6.
- DAC-2000-YangCS #logic #named #optimisation
- BDS: a BDD-based logic optimization system (CY, MJC, VS), pp. 92–97.
- SIGIR-1984-Minzu #information retrieval #online
- Developing of the BDS Online Information Retrieval System (ZM), pp. 187–199.