Binary decision diagram (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Binary decision diagram" in English language version.

refsWebsite

Global rank English rank

14doi.org

2^nd place

5semanticscholar.org

11^th place

8^th place

2dtic.mil

833^rd place

567^th place

2psu.edu

207^th place

136^th place

2web.archive.org

1^st place

2stanford.edu

179^th place

183^rd place

1umass.edu

3,341^st place

2,191^st place

1b-ok.asia

low place

1cmu.edu

1,564^th place

1,028^th place

1itu.dk

low place

1iacr.org

5,032^nd place

3,357^th place

1springer.com

274^th place

309^th place

1ucr.edu

1,553^rd place

1,008^th place

1rjlipton.wordpress.com

low place

1cmi.ac.in

low place

1worldcat.org

5^th place

b-ok.asia

Mamrukov, Yu. V. (1984). Analysis of aperiodic circuits and asynchronous processes (PhD). Leningrad Electrotechnical Institute.

cmi.ac.in

Andersen, H. R. (1999). "An Introduction to Binary Decision Diagrams" (PDF). Lecture Notes. IT University of Copenhagen.

cmu.edu

www-2.cs.cmu.edu

Bryant, Randal E. (September 1992). "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams". ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. S2CID 1933530.

doi.org

Bryant, Randal E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. CiteSeerX 10.1.1.476.2952. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Brace, Karl S.; Rudell, Richard L.; Bryant, Randal E. (1990). "Efficient Implementation of a BDD Package". Proceedings of the 27th ACM/IEEE Design Automation Conference (DAC 1990). IEEE Computer Society Press. pp. 40–45. doi:10.1145/123186.123222. ISBN 978-0-89791-363-8.
Jean-Christophe Madre; Jean-Paul Billon. "Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour". Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC ’88, Anaheim, CA, USA, June 12-15, 1988. doi:10.1109/DAC.1988.14759.
Lee, C.Y. (1959). "Representation of Switching Circuits by Binary-Decision Programs". Bell System Technical Journal. 38 (4): 985–999. doi:10.1002/j.1538-7305.1959.tb01585.x.
Akers, Jr., Sheldon B (June 1978). "Binary Decision Diagrams". IEEE Transactions on Computers. C-27 (6): 509–516. doi:10.1109/TC.1978.1675141. S2CID 21028055.
Boute, Raymond T. (January 1976). "The Binary Decision Machine as a programmable controller". EUROMICRO Newsletter. 1 (2): 16–22. doi:10.1016/0303-1268(76)90033-X.
Bryant., Randal E. (1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Bryant, Randal E. (September 1992). "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams". ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. S2CID 1933530.
Jensen, R.M. (2004). "CLab: A C++ library for fast backtrack-free interactive product configuration". Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science. Vol. 3258. Springer. p. 816. doi:10.1007/978-3-540-30201-8_94. ISBN 978-3-540-30201-8.
Lipmaa, H.L. (2009). "First CPIR Protocol with Data-Dependent Computation" (PDF). International Conference on Information Security and Cryptology. Lecture Notes in Computer Science. Vol. 5984. Springer. pp. 193–210. doi:10.1007/978-3-642-14423-3_14. ISBN 978-3-642-14423-3.
Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S. (2005). "Using Datalog with Binary Decision Diagrams for Program Analysis". In Yi, Kwangkeun (ed.). Programming Languages and Systems. Lecture Notes in Computer Science. Vol. 3780. Berlin, Heidelberg: Springer. pp. 97–118. doi:10.1007/11575467_8. ISBN 978-3-540-32247-4. S2CID 5223577.
Bollig, Beate; Wegener, Ingo (September 1996). "Improving the Variable Ordering of OBDDs Is NP-Complete". IEEE Transactions on Computers. 45 (9): 993–1002. doi:10.1109/12.537122.
Sieling, Detlef (2002). "The nonapproximability of OBDD minimization". Information and Computation. 172 (2): 103–138. doi:10.1006/inco.2001.3076.
Woelfel, Philipp (2005). "Bounds on the OBDD-size of integer multiplication via universal hashing". Journal of Computer and System Sciences. 71 (4): 520–534. CiteSeerX 10.1.1.138.6771. doi:10.1016/j.jcss.2005.05.004.

dtic.mil

apps.dtic.mil

Bryant, Randal E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. CiteSeerX 10.1.1.476.2952. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Bryant., Randal E. (1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. doi:10.1109/TC.1986.1676819. S2CID 10385726.

iacr.org

eprint.iacr.org

Lipmaa, H.L. (2009). "First CPIR Protocol with Data-Dependent Computation" (PDF). International Conference on Information Security and Cryptology. Lecture Notes in Computer Science. Vol. 5984. Springer. pp. 193–210. doi:10.1007/978-3-642-14423-3_14. ISBN 978-3-642-14423-3.

itu.dk

pure.itu.dk

Jensen, R.M. (2004). "CLab: A C++ library for fast backtrack-free interactive product configuration". Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science. Vol. 3258. Springer. p. 816. doi:10.1007/978-3-540-30201-8_94. ISBN 978-3-540-30201-8.

psu.edu

citeseerx.ist.psu.edu

Bryant, Randal E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. CiteSeerX 10.1.1.476.2952. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Woelfel, Philipp (2005). "Bounds on the OBDD-size of integer multiplication via universal hashing". Journal of Computer and System Sciences. 71 (4): 520–534. CiteSeerX 10.1.1.138.6771. doi:10.1016/j.jcss.2005.05.004.

rjlipton.wordpress.com

Richard J. Lipton. "BDD's and Factoring". Gödel's Lost Letter and P=NP, 2009.

semanticscholar.org

api.semanticscholar.org

Bryant, Randal E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. CiteSeerX 10.1.1.476.2952. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Akers, Jr., Sheldon B (June 1978). "Binary Decision Diagrams". IEEE Transactions on Computers. C-27 (6): 509–516. doi:10.1109/TC.1978.1675141. S2CID 21028055.
Bryant., Randal E. (1986). "Graph-Based Algorithms for Boolean Function Manipulation" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. doi:10.1109/TC.1986.1676819. S2CID 10385726.
Bryant, Randal E. (September 1992). "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams". ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. S2CID 1933530.
Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S. (2005). "Using Datalog with Binary Decision Diagrams for Program Analysis". In Yi, Kwangkeun (ed.). Programming Languages and Systems. Lecture Notes in Computer Science. Vol. 3780. Berlin, Heidelberg: Springer. pp. 97–118. doi:10.1007/11575467_8. ISBN 978-3-540-32247-4. S2CID 5223577.

springer.com

link.springer.com

Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S. (2005). "Using Datalog with Binary Decision Diagrams for Program Analysis". In Yi, Kwangkeun (ed.). Programming Languages and Systems. Lecture Notes in Computer Science. Vol. 3780. Berlin, Heidelberg: Springer. pp. 97–118. doi:10.1007/11575467_8. ISBN 978-3-540-32247-4. S2CID 5223577.

stanford.edu

www-cs-faculty.stanford.edu

Knuth, D.E. (2009). Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams. The Art of Computer Programming. Vol. 4. Addison–Wesley. ISBN 978-0-321-58050-4. Draft of Fascicle 1b Archived 2016-03-12 at the Wayback Machine available for download

scpd.stanford.edu

"Stanford Center for Professional Development". scpd.stanford.edu. Archived from the original on 2014-06-04. Retrieved 2018-04-23.

ucr.edu

alumni.cs.ucr.edu

Rice, Michael. "A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction" (PDF).

umass.edu

ecs.umass.edu

Somenzi, Fabio (1999). "Binary decision diagrams" (PDF). Calculational system design. NATO Science Series F: Computer and systems sciences. Vol. 173. IOS Press. pp. 303–366. ISBN 978-90-5199-459-9.

web.archive.org

Knuth, D.E. (2009). Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams. The Art of Computer Programming. Vol. 4. Addison–Wesley. ISBN 978-0-321-58050-4. Draft of Fascicle 1b Archived 2016-03-12 at the Wayback Machine available for download
"Stanford Center for Professional Development". scpd.stanford.edu. Archived from the original on 2014-06-04. Retrieved 2018-04-23.

worldcat.org

search.worldcat.org

Huth, Michael; Ryan, Mark (2004). Logic in computer science: modelling and reasoning about systems (2nd ed.). Cambridge University Press. pp. 380–. ISBN 978-0-52154310-1. OCLC 54960031.