{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T08:52:45Z","timestamp":1700038365103},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T00:00:00Z","timestamp":1172793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2007,3,16]]},"DOI":"10.1007\/s11227-006-0010-7","type":"journal-article","created":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T02:06:12Z","timestamp":1172801172000},"page":"301-320","source":"Crossref","is-referenced-by-count":4,"title":["Binary Decision Diagrams and neural networks"],"prefix":"10.1007","volume":"39","author":[{"given":"P. W. C.","family":"Prasad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Assi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Azam","family":"Beg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,3,2]]},"reference":[{"key":"10_CR1","volume-title":"Combinational logic test","author":"M Alexander","year":"1986","unstructured":"Alexander M (1986) Digital logic testing and simulation. In: Combinational logic test, chap\u00a02. Harper and Row, New York"},{"key":"10_CR2","unstructured":"Thornton M, Nair VSS (1992) Iterative combinational logic synthesis techniques using spectral data. Technical report, Southern Methodist University"},{"key":"10_CR3","unstructured":"Moore GE (1975) Progress in digital integrated electronics. In: IEEE IEDM, 1975, pp\u00a011\u201313"},{"key":"10_CR4","unstructured":"Wegener I, The complexity of Boolean functions. Wiley"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Meinel C, Slobodova A (1994) On the complexity of constructing optimal ordered binary decision diagrams. In: Proc of 19th int symposium on mathematical foundation of computer science, 1994, pp\u00a0515\u2013524","DOI":"10.1007\/3-540-58338-6_98"},{"key":"10_CR6","first-page":"271","volume":"4","author":"S Tani","year":"1996","unstructured":"Tani S, Hamaguchi K, Yajima S (1996) The complexity of the optimal variable ordering problems of a shared binary decision diagram. IEICE Trans Inf Syst 4:271\u2013281","journal-title":"IEICE Trans Inf Syst"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Nemani M, Najm FN (1996) High-level power estimation and the area complexity of Boolean functions. In: Proc of IEEE intl symposium on low power electronics and design, 1996, pp 329\u2013334","DOI":"10.1109\/LPE.1996.547534"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"SB Akers","year":"1978","unstructured":"Akers SB (1978) Binary decision diagram. IEEE Trans Comput 27:509\u2013516","journal-title":"IEEE Trans Comput"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant RE (1986) Graph-based algorithm for Boolean function manipulation. IEEE Trans Comput 35:677\u2013691","journal-title":"IEEE Trans Comput"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s100090100052","volume":"3","author":"JE Harlow","year":"2001","unstructured":"Harlow JE, Brglez F (2001) Design of experiments and evaluation on of BDD ordering heuristics. Intl J Softw Tools Tech Transf 3:193\u2013206","journal-title":"Intl J Softw Tools Tech Transf"},{"key":"10_CR11","volume-title":"Binary Decision Diagrams and applications for VLSICAD","author":"S Minato","year":"1995","unstructured":"Minato S (1995) Binary Decision Diagrams and applications for VLSICAD. Kluwer Academic, Dordrecht"},{"key":"10_CR12","unstructured":"Priyank K (1997) VLSI logic test, validation and verification, properties & applications of Binary Decision Diagrams. Lecture Notes, Department of Electrical and Computer Engineering University of Utah, Salt Lake City"},{"key":"10_CR13","unstructured":"Dunne PE, van der Hoeke W (2004) Complexity in Boolean games. In: Proc. 9th european conference on logics in artificial intelligence, LNCS 3229, Springer, 2004, pp 347\u201335"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ramalingam N, Bhanja S (2005) Causal probabilistic input dependency learning for switching model in VLSI circuits. In: Proceedings of ACM great lakes symposium on VLSI, 2005, pp 112\u2013115","DOI":"10.1145\/1057661.1057689"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Bhanja S, Lingasubramanian K, Ranganathan N (2005) Estimation of switching activity in sequential circuits using dynamic bayesian networks. In: Proceedings of VLSI design, 2005, pp 586\u2013591","DOI":"10.1109\/ICVD.2005.93"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Raseen M, Prasad PWC, Assi A (2004) Mathematical Model to Predict the Number of Nodes in an ROBDD. In: The 47th IEEE int midwest symposium on circuit and systems (MWSCAS), vol\u00a0III, pp\u00a0431\u2013434","DOI":"10.1109\/MWSCAS.2004.1354387"},{"key":"10_CR17","unstructured":"Raseen M, Prasad PWC, Assi A (2005) An efficient estimation of the ROBDD\u2019s complexity. accepted for publication in integration. The VLSI J. Elsevier Publication, May 2005"},{"key":"10_CR18","unstructured":"Prasad PWC, Raseen M, Senanayake SMNA (2005) XOR\/XNOR functional behavior on ROBDD representation. In: Proc. of The 14th IASTED inter. conf. on applied simulation and modeling, 2005, pp\u00a0115\u2013119"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Prasad PWC, Raseen M, Assi A, Mills BI, Senanayake SMNA (2006) Evaluation time estimation for Pass Transistor Logic Circuits. In: Proc in 3rd IEEE inter workshop on electronic design, test and applications (DELTA\u201906), January 2006, pp\u00a0422\u2013428","DOI":"10.1109\/DELTA.2006.47"},{"issue":"3","key":"10_CR20","first-page":"236","volume":"2","author":"A Assi","year":"2005","unstructured":"Assi A, Prasad PWC, Mills B, and El-chouemi A (2005) Empirical Analysis and mathematical representation of the path length complexity in Binary Decision Diagrams. J Comput Sci Publ 2(3):236\u2013244","journal-title":"J Comput Sci Publ"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Parberry I (1994) Circuit complexity and neural networks. MIT Press","DOI":"10.7551\/mitpress\/1836.001.0001"},{"key":"10_CR22","unstructured":"Siu KY, Roychowdhury VP, Kailath T (1995) Discrete neural computation\u2014A theoretical foundation. Prentice Hall"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Wegener I (1987) The complwexity of Boolean functions. Wiley","DOI":"10.1007\/3-540-18170-9_185"},{"key":"10_CR24","unstructured":"Caudill M (1990) AI Expert: Neural network primer. Miller Freeman Publications"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Uhrig RE (1995) Introduction to artificial neural networks. In: Proceedings of the 1995 IEEE IECON 21st international conference on industrial electronics, control and instrumentation, vol\u00a01, Nov 1995","DOI":"10.1109\/IECON.1995.483329"},{"issue":"3","key":"10_CR26","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/6.576011","volume":"34","author":"K Yale","year":"1997","unstructured":"Yale K (1997) Preparing the right data for training neural networks. IEEE Spectr 34(3):64\u201366","journal-title":"IEEE Spectr"},{"key":"10_CR27","unstructured":"Stegmayer G, Chiotti O (2004) The Volterra representation of an electronic device using the neural network parameters. In: Latin American conference on informatics (CLEI\u20192004), Sep 2004"},{"key":"10_CR28","unstructured":"http:\/\/www.eco.utexas.edu\/faculty\/Kendrick\/frontpg\/NeuralNets.htm"},{"key":"10_CR29","unstructured":"Somenzi F (2003) CUDD: CU decision diagram package. ftp:\/\/vlsi.colorado.edu\/pub\/"},{"key":"10_CR30","volume-title":"Introduction to neural networks\u2014design, theory and applications","author":"J Lawrence","year":"1994","unstructured":"Lawrence J (1994) Introduction to neural networks\u2014design, theory and applications. California Scientific Software, California"},{"key":"10_CR31","unstructured":"Masters T (1994) Signal and image processing with neural networks. Wiley"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-0010-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-006-0010-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-0010-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T08:47:29Z","timestamp":1587372449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-006-0010-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,2]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,3,16]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s11227-006-0010-7","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,2]]}}}