![]() | ![]() |
1997 | ||
---|---|---|
1 | F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni: Boolean Function Manipulation on a Parallel System Using BDDs. HPCN Europe 1997: 916-928 |
1 | Roberto Ansaloni | [1] |
2 | Fulvio Corno | [1] |
3 | Maurizio Rebaudengo | [1] |
4 | Matteo Sonza Reorda | [1] |