Diagramme de décision binaire (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Diagramme de décision binaire" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

1,185^th place

1,318^th place

57^th place

4^th place

274^th place

223^rd place

low place

9,268^th place

low place

acm.org

Christel Baier et Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, 2008, 975 p. (ISBN 978-0-262-02649-9 et 0-262-02649-X, lire en ligne), p. 6.7 Symbolic CTL Model checking (p. 381).
Beate Bollig et Ingo Wegener, « Improving the Variable Ordering of OBDDs Is NP-Complete », IEEE Transactions on Computers, vol. 45, n^o 9,‎ 1^er septembre 1996, p. 993–1002 (ISSN 0018-9340, DOI 10.1109/12.537122, lire en ligne, consulté le 27 novembre 2018)
R. Iris Bahar, Erica A. Frohm, Charles M. Gaona et Gary D. Hachtel, « Algebraic decision diagrams and their applications », ICCAD, IEEE Computer Society Press,‎ 7 novembre 1993, p. 188–191 (ISBN 0818644907, lire en ligne, consulté le 9 février 2018).

Randal E. Bryant, « Graph-Based Algorithms for Boolean Function Manipulation », IEEE Trans. Comput., vol. 35, n^o 8,‎ août 1986, p. 677–691 (ISSN 0018-9340, DOI 10.1109/TC.1986.1676819, lire en ligne, consulté le 6 novembre 2017).
Ingo Wegener, Branching Programs and Binary Decision Diagrams, Society for Industrial and Applied Mathematics, coll. « Discrete Mathematics and Applications », 1^er janvier 2000, 408 p. (ISBN 978-0-89871-458-6, DOI 10.1137/1.9780898719789, lire en ligne).
(en) Seiichiro Tani, Kiyoharu Hamaguchi et Shuzo Yajima, « The complexity of the optimal variable ordering problems of shared binary decision diagrams », dans Algorithms and Computation, Springer Berlin Heidelberg, 1993 (ISBN 9783540575689, DOI 10.1007/3-540-57568-5_270, lire en ligne), p. 389–398
Beate Bollig et Ingo Wegener, « Improving the Variable Ordering of OBDDs Is NP-Complete », IEEE Transactions on Computers, vol. 45, n^o 9,‎ 1^er septembre 1996, p. 993–1002 (ISSN 0018-9340, DOI 10.1109/12.537122, lire en ligne, consulté le 27 novembre 2018)
(en) M. Fujita, P. C. McGeer et J. C.-Y. Yang, « Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation », Formal Methods in System Design, vol. 10, n^os 2-3,‎ 1^er avril 1997, p. 149–169 (ISSN 0925-9856 et 1572-8102, DOI 10.1023/A:1008647823331, lire en ligne, consulté le 26 mars 2018).

Randal E. Bryant, « Graph-Based Algorithms for Boolean Function Manipulation », IEEE Trans. Comput., vol. 35, n^o 8,‎ août 1986, p. 677–691 (ISSN 0018-9340, DOI 10.1109/TC.1986.1676819, lire en ligne, consulté le 6 novembre 2017).
Beate Bollig et Ingo Wegener, « Improving the Variable Ordering of OBDDs Is NP-Complete », IEEE Transactions on Computers, vol. 45, n^o 9,‎ 1^er septembre 1996, p. 993–1002 (ISSN 0018-9340, DOI 10.1109/12.537122, lire en ligne, consulté le 27 novembre 2018)
(en) M. Fujita, P. C. McGeer et J. C.-Y. Yang, « Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation », Formal Methods in System Design, vol. 10, n^os 2-3,‎ 1^er avril 1997, p. 149–169 (ISSN 0925-9856 et 1572-8102, DOI 10.1023/A:1008647823331, lire en ligne, consulté le 26 mars 2018).

Ingo Wegener, Branching Programs and Binary Decision Diagrams, Society for Industrial and Applied Mathematics, coll. « Discrete Mathematics and Applications », 1^er janvier 2000, 408 p. (ISBN 978-0-89871-458-6, DOI 10.1137/1.9780898719789, lire en ligne).

(en) Seiichiro Tani, Kiyoharu Hamaguchi et Shuzo Yajima, « The complexity of the optimal variable ordering problems of shared binary decision diagrams », dans Algorithms and Computation, Springer Berlin Heidelberg, 1993 (ISBN 9783540575689, DOI 10.1007/3-540-57568-5_270, lire en ligne), p. 389–398
(en) M. Fujita, P. C. McGeer et J. C.-Y. Yang, « Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation », Formal Methods in System Design, vol. 10, n^os 2-3,‎ 1^er avril 1997, p. 149–169 (ISSN 0925-9856 et 1572-8102, DOI 10.1023/A:1008647823331, lire en ligne, consulté le 26 mars 2018).

(en) Mathematical Logic for Computer Science | Mordechai Ben-Ari | Springer (lire en ligne)