• DocumentCode
    1154784
  • Title

    A Computer Algorithm for Minimizing Reed-Muller Canonical Forms

  • Author

    Fleisher, H. ; Tavel, M. ; Yeager, J.

  • Author_Institution
    IBM Corporation
  • Issue
    2
  • fYear
    1987
  • Firstpage
    247
  • Lastpage
    250
  • Abstract
    A computer algorithm is presented that uses geometrical operations to minimize multioutput Reed-Muller expansions of up to ten variables.
  • Keywords
    Boolean hypercube; Exclusive-OR; Reed-Muller canonical form; logic minimization; Astronomy; Computational complexity; Hypercubes; Logic; Minimization methods; Physics; Boolean hypercube; Exclusive-OR; Reed-Muller canonical form; logic minimization;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1987.1676890
  • Filename
    1676890