@InProceedings{Petrik:ISCAM2003A,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-10-11 },
  author =      { Petr{\'\i}k, Milan },
  language =    { English },
  title =       { Logical Circuit Design in Many-Valued Logic },
  year =        { 2003 },
  pages =       { 29 },
  booktitle =   { ISCAM 2003: International Conference in Applied 
                  Mathematics for Undergraduate and Graduate Students },
  editor =      { Tom{\'a}{\v s} Bogn{\'a}r, Gejza Jen{\v c}a },
  publisher =   { FEI, Slovak University of Technology },
  address =     { Bratislava, Slovakia },
  book_pages =  { 38 },
  month =       { April },
  day =         { 11-12 },
  venue =       { Bratislava, Slovakia },
  annote = { We present a method of finding optimized normal forms of
    functions in many-valued logic. Our approach is based on an
    extension of the set od logical connectives, a
    generalization of the technique of Svoboda maps and a
    generalization of the Quine-McCluskey algorithm. We show the
    application of these tools to the design of many-valued
    logical circuits including many-valued flip-flops.  },
  keywords =    { many-valued logic, optimized normal forms, Svoboda map, 
                  Quine-McCluskey, circuit design, flip-flop },
  prestige =    { local },
  authorship =  { 100 },
  project =     { MSM 212300013, GACR 201/02/1540, CEEPUS SK-042 },
}