{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:03Z","timestamp":1752149403132,"version":"3.41.2"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Machine Learning"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1023\/a:1018344122010","type":"journal-article","created":{"date-parts":[[2003,2,6]],"date-time":"2003-02-06T17:08:17Z","timestamp":1044551297000},"page":"23-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs"],"prefix":"10.1007","volume":"25","author":[{"given":"Arlindo L.","family":"Oliveira","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"116859_CR1","first-page":"273","volume-title":"Proceedings of the 18th Annual ACM Symposium on the Theory of Computation","author":"A. Blumer","year":"1986","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. (1986). Classifying learnable geometric concepts with the Vapnik-Chervonenkis dimension. In Proceedings of the 18th Annual ACM Symposium on the Theory of Computation(pp. 273\u2013282). Berkeley, CA: ACM Press."},{"key":"116859_CR2","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0020-0190(87)90114-1","volume":"24","author":"A. Blumer","year":"1987","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. K. (1987). Occam's razor. Information Processing Letters, 24, 377\u2013380.","journal-title":"Information Processing Letters"},{"key":"116859_CR3","first-page":"40","volume-title":"Proceedings of the Design Automation Conference","author":"K. Brace","year":"1989","unstructured":"Brace, K., Rudell, R., & Bryant, R. (1989). Efficient implementation of a BDD package. In Proceedings of the Design Automation Conference(pp. 40\u201345). Anaheim, CA: ACM Press."},{"key":"116859_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R. K. Brayton","year":"1984","unstructured":"Brayton, R. K., Hachtel, G. D., McMullen, C., & Sangiovanni-Vincentelli, A. S. (1984). Logic Minimization Algorithms for VLSI Synthesis. Hingham, MA: Kluwer Academic Publishers."},{"key":"116859_CR5","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1109\/5.52213","volume":"78","author":"R. K. Brayton","year":"1990","unstructured":"Brayton, R. K., Hachtel, G. D., & Vincentelli, A. S. (1990). Multilevel logic synthesis. Proceedings of the IEEE, 78, 264\u2013300.","journal-title":"Proceedings of the IEEE"},{"key":"116859_CR6","volume-title":"Classification and Regression Trees","author":"L. Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J. H., Olshen, R. A., & Stone, C. J. (1984). Classification and Regression Trees. Belmont, CA: Wadsworth International Group."},{"key":"116859_CR7","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. E. Bryant","year":"1986","unstructured":"Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35, 677\u2013691.","journal-title":"IEEE Transactions on Computers"},{"key":"116859_CR8","volume-title":"Statistical Inference","author":"G. Casella","year":"1990","unstructured":"Casella, G. & Berger, R. L. (1990). Statistical Inference. Pacific Grove, CA: Wadsworth & Brooks\/Cole."},{"key":"116859_CR9","first-page":"365","volume-title":"Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, Volume 407 of Lecture Notes in Computer Science","author":"O. Coudert","year":"1989","unstructured":"Coudert, O., Berthet, C., & Madre, J. C. (1989). Verification of synchronous sequential machines based on symbolic execution. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, Volume 407 of Lecture Notes in Computer Science(pp. 365\u2013373). Grenoble, France: Springer-Verlag."},{"key":"116859_CR10","first-page":"194","volume-title":"Proceedings of the Twelfth International Conference on Machine Learning","author":"J. Dougherty","year":"1995","unstructured":"Dougherty, J., Kohavi, R., & Sahami, M. (1995). Supervised and unsupervised discretization of continuous features. In Proceedings of the Twelfth International Conference on Machine Learning(pp. 194\u2013202). Tahoe City, CA: Morgan Kaufmann."},{"key":"116859_CR11","first-page":"1022","volume-title":"Proceedings of the 13th International Joint Conference on Artifical Intelligence","author":"U. M. Fayyad","year":"1993","unstructured":"Fayyad, U. M. & Irani, K. B. (1993). Multi-interval discretization of continuous-valued attributes for classification learning. In Proceedings of the 13th International Joint Conference on Artifical Intelligence(pp. 1022\u20131027). Chambery, France: Morgan Kaufmann."},{"key":"116859_CR12","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/12.53586","volume":"39","author":"S. J. Friedman","year":"1990","unstructured":"Friedman, S. J. & Supowit, K. J. (1990). Finding the optimal variable ordering for binary decision diagrams. IEEE Transactions on Computers, 39, 710\u2013713.","journal-title":"IEEE Transactions on Computers"},{"key":"116859_CR13","doi-asserted-by":"crossref","unstructured":"Goldman, J. A. (1994). Machine learning: A comparative study of pattern theory and C4.5. Technical Report 0WL-TR-94-1102, Wright Laboratory, USAF, WL\/AART, WPAFB, OH.","DOI":"10.21236\/ADA285582"},{"key":"116859_CR14","first-page":"472","volume-title":"Proceedings of the International Conference on Computer Aided Design","author":"N. Ishiura","year":"1991","unstructured":"Ishiura, N., Sawada, H., & Yajima, S. (1991). Minimization of binary decision diagrams based on exchanges of variables. In Proceedings of the International Conference on Computer Aided Design(pp. 472\u2013475). Santa Clara, CA: IEEE Computer Society Press."},{"key":"116859_CR15","volume-title":"UC Berkeley Tech.Report ERL M90\/125","author":"T. Kam","year":"1990","unstructured":"Kam, T. & Brayton, R. (1990). Multi-valued decision diagrams. UC Berkeley Tech.Report ERL M90\/125, EECS Department, Berkeley, CA."},{"key":"116859_CR16","first-page":"613","volume-title":"Proceedings of the Twelfth National Conference on Artificial Intelligence","author":"R. Kohavi","year":"1994","unstructured":"Kohavi, R. (1994). Bottom-up induction of oblivious read-once decision graphs: Strengths and limitations. In Proceedings of the Twelfth National Conference on Artificial Intelligence(pp. 613\u2013618). Tahoe City, CA: Morgan Kaufmann."},{"key":"116859_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3860-5","volume-title":"An Introduction to Kolmogorov Complexity","author":"M. Li","year":"1993","unstructured":"Li, M. & Vit\u00e1nyi, P. M. B. (1993). An Introduction to Kolmogorov Complexity. New York, NY: Springer-Verlag."},{"key":"116859_CR18","series-title":"Technical Report","volume-title":"Initializing ID5R with a domain theory: some negative results","author":"J. J. Mahoney","year":"1991","unstructured":"Mahoney, J. J. & Mooney, R. J. (1991). Initializing ID5R with a domain theory: some negative results. Technical Report 91-154, CS Department, University of Texas at Austin, Austin, TX."},{"key":"116859_CR19","volume-title":"Modified Branching Programs and Their Computational Power","author":"C. Meinel","year":"1989","unstructured":"Meinel, C. (1989). Modified Branching Programs and Their Computational Power. New York, NY: Springer-Verlag."},{"key":"116859_CR20","volume-title":"Repository of Machine Learning Databases-Machine readable data repository","author":"P. M. Murphy","year":"1991","unstructured":"Murphy, P. M. & Aha, D. W. (1991). Repository of Machine Learning Databases-Machine readable data repository. University of California, Irvine."},{"key":"116859_CR21","volume-title":"Inductive Learning by Selection of Minimal Complexity Representations","author":"A. L. Oliveira","year":"1994","unstructured":"Oliveira, A. L. (1994). Inductive Learning by Selection of Minimal Complexity Representations. PhD thesis, UC Berkeley, Berkeley, CA. Also available as UCB\/ERL Technical Report M94\/97."},{"key":"116859_CR22","first-page":"911","volume-title":"Advances in Neural Information Processing Systems 6","author":"A. L. Oliveira","year":"1993","unstructured":"Oliveira, A. L. & Vincentelli, A. S. (1993). Learning complex Boolean functions: algorithms and applications. In Advances in Neural Information Processing Systems 6(pp. 911\u2013918). Denver, CO: Morgan Kaufmann."},{"key":"116859_CR23","first-page":"421","volume-title":"Proceedings of the Twelfth International Conference on Machine Learning","author":"A. L. Oliveira","year":"1995","unstructured":"Oliveira, A. L. & Vincentelli, A. S. (1995). Inferring reduced ordered decision graphs of minimal description length. In Proceedings of the Twelfth International Conference on Machine Learning(pp. 421\u2013429). Tahoe City, CA: Morgan Kaufmann."},{"key":"116859_CR24","unstructured":"Oliver, J. J. (1993). Decision graphs-an extension of decision trees. Technical Report 92\/173, Monash University, 6Clayton, Victoria, Australia."},{"key":"116859_CR25","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1023\/A:1022611825350","volume":"5","author":"G. Pagallo","year":"1990","unstructured":"Pagallo, G. & Haussler, D. (1990). Boolean feature discovery in empirical learning. Machine Learning, 5, 71\u2013100.","journal-title":"Machine Learning"},{"key":"116859_CR26","first-page":"255","volume":"4","author":"J. Pearl","year":"1978","unstructured":"Pearl, J. (1978). On the connection between the complexity and credibility of inferred models. Journal of General Systems, 4, 255\u2013264.","journal-title":"Journal of General Systems"},{"key":"116859_CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1023\/A:1022643204877","volume":"1","author":"J. R. Quinlan","year":"1986","unstructured":"Quinlan, J. R. (1986). Induction of decision trees. Machine Learning, 1, 81\u2013106.","journal-title":"Machine Learning"},{"key":"116859_CR28","volume-title":"C4.5-Programs for Machine Learning","author":"J. R. Quinlan","year":"1993","unstructured":"Quinlan, J. R. (1993). C4.5-Programs for Machine Learning. San Mateo, CA: Morgan Kaufmann."},{"key":"116859_CR29","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90010-2","volume":"80","author":"J. R. Quinlan","year":"1989","unstructured":"Quinlan, J. R. & Rivest, R. L. (1989). Inferring decision trees using the minimum description length principle. Information and Computation, 80, 227\u2013248.","journal-title":"Information and Computation"},{"key":"116859_CR30","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/0005-1098(78)90005-5","volume":"14","author":"J. Rissanen","year":"1978","unstructured":"Rissanen, J. (1978). Modeling by shortest data description. Automatica, 14, 465\u2013471.","journal-title":"Automatica"},{"key":"116859_CR31","first-page":"1080","volume":"14","author":"J. Rissanen","year":"1986","unstructured":"Rissanen, J. (1986). Stochastic complexity and modeling. Annals of Statististics, 14, 1080\u20131100.","journal-title":"Annals of Statististics"},{"key":"116859_CR32","first-page":"42","volume-title":"Proceeddings of the International Conference on Computer Aided Design","author":"R. Rudell","year":"1993","unstructured":"Rudell, R. (1993). Dynamic variable ordering for ordered binary decision diagrams. In Proceeddings of the International Conference on Computer Aided Design(pp. 42\u201347). Santa Clara, CA: IEEE Computer Society Press."},{"key":"116859_CR33","first-page":"259","volume-title":"Proceedings of the Eleventh International Conference on Machine Learning","author":"C. Schaffer","year":"1994","unstructured":"Schaffer, C. (1994). A conservation law for generalization performance. In Proceedings of the Eleventh International Conference on Machine Learning(pp. 259\u2013265). New Brunswick, NJ: Morgan Kaufmann."},{"key":"116859_CR34","first-page":"713","volume":"57","author":"C. E. Shannon","year":"1938","unstructured":"Shannon, C. E. (1938). A symbolic analysis of relay and switching circuits. Transactions AIEE, 57, 713\u2013723.","journal-title":"Transactions AIEE"},{"key":"116859_CR35","volume-title":"Proceedings of the Design Automation Conference","author":"T. R. Shiple","year":"1994","unstructured":"Shiple, T. R., Hojati, R., Vincentelli, A. L. S., & Brayton, R. K. (1994). Heuristic minimization of BDDs using don't cares. In Proceedings of the Design Automation Conference(pp. 225\u2013231). San Diego, CA: ACM Press."},{"key":"116859_CR36","first-page":"389","volume-title":"Proceedings of the Fourth International Symposium on Algorithms and Computation","author":"S. Tani","year":"1993","unstructured":"Tani, S., Hamaguchi, K., & Yajima, S. (1993). The complexity of the optimal variable ordering problems of shared binary decision diagrams. In Proceedings of the Fourth International Symposium on Algorithms and Computation(pp. 389\u201398). Hong Kong: Springer-Verlag."},{"key":"116859_CR37","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1022646101185","volume":"11","author":"C. S. Wallace","year":"1993","unstructured":"Wallace, C. S. & Patrick, J. D. (1993). Coding decision trees. Machine Learning, 11, 7\u201322.","journal-title":"Machine Learning"},{"key":"116859_CR38","first-page":"223","volume-title":"Proceedings of the Eight International Conference on Machine Learning","author":"D. S. Yang","year":"1991","unstructured":"Yang, D. S., Rendell, L., & Blix, G. (1991). Fringe-like feature construction: A comparative study and a unifying scheme. In Proceedings of the Eight International Conference on Machine Learning(pp. 223\u2013227). Evanston, IL: Morgan Kaufmann."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018344122010.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018344122010\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018344122010.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:46:38Z","timestamp":1752147998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018344122010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["116859"],"URL":"https:\/\/doi.org\/10.1023\/a:1018344122010","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[1996,10]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}