Previous article Next article Functional Decomposition and Switching Circuit DesignRichard M. KarpRichard M. Karphttps://doi.org/10.1137/0111022PDFBibTexSections ToolsAdd to favoritesExport CitationTrack CitationsEmail SectionsAbout[1] R. L. Ashenhurst, The decomposition of switching functions, Ann. Comput. Lab. Harvard Univ., 30 (1959), 0201.48601 Google Scholar[2] Arthur W. Burks, , Robert McNaughton, , Carl H. Pollmar, , Don W. Warren and , Jesse B. Wright, Complete decoding nets: general theory and minimality, J. Soc. Indust. Appl. Math., 2 (1954), 201–243 10.1137/0102014 MR0069770 LinkGoogle Scholar[3] S. Caldwell, Switching Circuits and Logical Design, John Wiley and Sons, New York, 1961 Google Scholar[4] H. Allen Curtis, A functional canonical form, J. Assoc. Comput. Mach., 6 (1959), 245–258 MR0141566 0092.13302 CrossrefISIGoogle Scholar[5] H. Allen Curtis, A generalized tree circuit, J. Assoc. Comput. Mach., 8 (1961), 484–496 MR0143678 0103.34603 CrossrefGoogle Scholar[6] H. A. Curtis, A New Approach to the Design of Switching Circuits, Van Nostrand, Princeton, 1962 Google Scholar[7] E. N. Gilbert, Lattice theoretic properties of frontal switching functions, J. Math. Physics, 33 (1954), 57–67 MR0062650 0055.20109 CrossrefISIGoogle Scholar[8] R. M. Karp, Minimization of cryotron transfer trees, IBM Internal Memorandum, SR-1.44, 1960 Google Scholar[9] R. M. Karp, , F. E. Mcfarlin, , J. P. Both and , J. R. Wilts, A computer program for the synthesis of combinational switching circuits, Proc. Second Annual Symposium on Switching Circuit Theory and Logical Design, A.I.E.E., 1961 Google Scholar[10] D. Muller, Complexity in electronic switching circuits, Trans. I.R.E., EC-5 (), Google Scholar[11] G. N. Povarov, On functional separability of Boolean functions, Doklady Akad. Nauk SSSR (N.S.), 94 (1954), 801–803 MR0063350 Google Scholar[12] G. N. Povarov, A mathematical theory for the synthesis of networks with one input and k outputs, Ann. Comput. Lab. Harvard Univ., 30 (1959), 0201.33403 Google Scholar[13] John Riordan, An introduction to combinatorial analysis, Wiley Publications in Mathematical Statistics, John Wiley & Sons Inc., New York, 1958xi+244 MR0096594 0078.00805 Google Scholar[14] V. Roginsbij, A graphical method for the synthesis of multi-terminal contact networks, Ann. Comput. Lab. Harvard Univ., 30 (1959), Google Scholar[15] J. Paul Roth, Minimization over Boolean trees, IBM J. Res. Develop., 4 (1960), 543–558 MR0141538 CrossrefISIGoogle Scholar[16] J. Paul Roth and , E. G. Wagner, Algebraic topological methods for the synthesis of switching systems. III. Minimization of nonsingular Boolean trees, IBM J. Res. Develop, 3 (1959), 326–344 MR0114693 CrossrefISIGoogle Scholar[17] J. Paul Roth and , R. M. Karp, Minimization over Boolean graphs, IBM J. Res. Develop., 6 (1962), 227–238 MR0141565 CrossrefISIGoogle Scholar[18] Warren L. Semon, Characteristic numbers and their use in the decomposition of switching functions, Proceedings of the Association for Computing Machinery, Pittsburgh, 1952, Richard Rimbach Associates, Pittsburgh, Pa., 1952, 273–280 MR0057028 Google Scholar[19] Claude E. Shannon, The synthesis of two-terminal switching circuits, Bell System Tech. J., 28 (1949), 59–98 MR0029860 CrossrefISIGoogle Scholar[20] R. A. Short, A theory of relations between sequential and combinational realizations of switching functions, Technical Report, 098-1, Stanford Electronics Laboratories, 1960 Google Scholar[21] T. Singer, The decomposition chart as a theoretical aid, Report, BL-4, Harvard Comput. Lab., 1953, 1–28 Google Scholar[22] T. Singer, Some uses of truth tables, Ann. Comput. Lab. Harvard Univ., 30 (1959), 0136.13602 Google Scholar[23] E. H. Sussenguth, An algorithm for automatic design of logical cryogenic circuits, Trans. I.R.E., EC-10 (1962), Google Scholar[24] R. O. Winder, Single stage threshold logic, First Annual Symposium on Switching Circuit Theory and Logical Design, A.I.E.E., 1960 Google Scholar Previous article Next article FiguresRelatedReferencesCited byDetails Dynamic Programming is Optimal for Nonserial Optimization ProblemsArnon Rosenthal31 July 2006 | SIAM Journal on Computing, Vol. 11, No. 1AbstractPDF (1671 KB) Volume 11, Issue 2| 1963Journal of the Society for Industrial and Applied Mathematics History Submitted:18 April 1962Published online:13 July 2006 InformationCopyright © 1963 Society for Industrial and Applied MathematicsPDF Download Article & Publication DataArticle DOI:10.1137/0111022Article page range:pp. 291-335ISSN (print):0368-4245ISSN (online):2168-3484Publisher:Society for Industrial and Applied Mathematics
Read full abstract