Efficient algorithms for the transformation between different types of binary decision diagrams
Article Ecrit par: Savicky, P. ; Wegener, I. ;
Résumé: The problem of transforming an FBDD (free binary decision diagram) P on n variables or a &pgr;
Langue:
Anglais