@Article{boom,
  author =       {Petr Fišer and Hana Kubátová},
  title =        {Flexible {Two-Level Boolean Minimizer BOOM-II} and Its Applications},
  journal =      {In Proceedings of 9th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society,ISBN 0-7695-2609-8},
  year =         2006
}

@Book{espresso,
  author =       {R. K. Brayton and G. D. Hachtel and C. T. McMullen and A. L. Sangiovanni-Vincentelii},
  title =        {{Logic Minimization Algorithms for VLSI Synthesis}},
  publisher =    {Kluwer Academic Publishers},
  year =         1984
}

@Book{navrkal,
  author =       {Michal Navrkal},
  title =        {Detekce tautologie pomocí {BDD}},
  publisher =    {Bakalářská práce, ČVUT v Praze, FEL},
  year =         {2006},
}

@Book{chromy,
  author =       {Radek Chromý},
  title =        {Detekce tautologie, výpočet komplementu booleovské funkce},
  publisher =    {Semestrální projekt, ČVUT v Praze, FEL},
  year =         {2004},
}

@Book{miklanek,
  author =       {Martin Miklánek},
  title =        {Úprava minimalizačního nástroje {ESPRESSO}},
  publisher =    {Bakalářská práce, ČVUT v Praze, FEL},
  year =         {2008},
}

@Book{vala,
  author =       {Petr Vála},
  title =        {Manipulace s logickými funkcemi pomocí grafů},
  publisher =    {Diplomová práce, ČVUT v Praze, FEL},
  year =         {2009},
}

@Misc{bddWiki,
  author =       {Wikipedia},
  title =        {Binary decision diagram},
  note =         {\\\verb|http://en.wikipedia.org/wiki/Binary_decision_diagram|},
  year =         2009,
}

@Misc{dml,
  author =       {Marie Demlová},
  title =        {Přednášky z předmětu {X01DML}},
  note =         {\\\verb|http://math.feld.cvut.cz/demlova/teaching/dml/pred02.pdf|},
  year =         2009,
}

@Misc{asympSloz,
  author =       {Wikipedia},
  title =        {Asymptotická složitost},
  note =         {\\\verb|http://cs.wikipedia.org/wiki/Asymptotick%C3%A1_slo%C5%BEitost|},
  year =         2009,
}

@Misc{eAcademy,
  author =       {E-academy},
  title =        {Student's downloads},
  note =         {\\\verb|http://www.e-academy.com/|},
  year =         2009,
}


@Misc{paa,
  author =       {X36PAA},
  title =        {Měření {CPU} času ve Windows v {C++}},
  note =         {\\\verb|http://service.felk.cvut.cz/courses/X36PAA/CPU_time_C++.html|},
  year =         2006,
}


@Misc{logSynthesis,
  author =       {Robert K. Brayton},
  title =        {Logic Synthesis},
  note =         {\\\verb|www.eecs.berkeley.edu/~brayton/courses/219b/ppslides/|},
  year =         2000,
}

@Book{mechura,
  author =       {Tomáš Měchura},
  title =        {Parametrizovaný generátor náhodných logických obvodů},
  publisher =    {Diplomová práce, ČVUT v Praze, FEL},
  year =         {2008},
}