• DocumentCode
    3303415
  • Title

    Boolean Constrained Encoding: A New Formulation And A Case Study

  • Author

    Calazans, Ney Laert Vilar

  • fYear
    1994
  • fDate
    6-10 Nov 1994
  • Firstpage
    702
  • Lastpage
    706
  • Keywords
    Algebra; Automata; Computer aided software engineering; Computer science; Constraint optimization; Delay; Electronic mail; Encoding; Stress; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer-Aided Design, 1994., IEEE/ACM International Conference on
  • ISSN
    1063-6757
  • Print_ISBN
    0-8186-3010-8
  • Type

    conf

  • DOI
    10.1109/ICCAD.1994.629899
  • Filename
    629899