Symposium papers - Comparison of two new approaches to variable ordering for binary decision diagrams
| Year of publication: |
2001
|
|---|---|
| Authors: | Bartlett, L.M. ; Andrews, J.D. |
| Published in: |
Quality and reliability engineering international. - Chichester [u.a.] : Wiley, ISSN 0748-8017, ZDB-ID 506412. - Vol. 17.2001, 3, p. 151-158
|