Using extended logical primitives for efficient BDD building

  1. Fernandez-Amoros, D.
  2. Bra, S.
  3. Aranda-Escolástico, E.
  4. Heradio, R.
Journal:
Mathematics

ISSN: 2227-7390

Year of publication: 2020

Volume: 8

Issue: 8

Type: Article

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus