This is an old revision of the document!


Internal evaluation

In this course you need make a presentation of some algorithms.

  • A characterization of the minimum cycle mean in a digraph - RM Karp - Discrete mathematics, 1978
  • Binary decision diagrams - SB Akers - IEEE Transactions on computers, 1978
    • Symbolic Boolean manipulation with ordered binary-decision diagrams - RE Bryant - ACM Computing Surveys (CSUR), 1992
  • Analysis of the subtractive algorithm for greatest common divisors - AC Yao, DE Knuth - Proceedings of the National Academy of Sciences, 1975
  • Stable husbands - DE Knuth, R Motwani, B Pittel - Random Structures & Algorithms, 1990
  • Nested satisfiability - DE Knuth - Acta Informatica, 1990