Using extended logical primitives for efficient BDD building

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

ISSN: 2227-7390

Año de publicación: 2020

Volumen: 8

Número: 8

Tipo: Artículo

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus