Writing /home/fac/arijit/public_html/dokuwiki/data/cache/b/b964d435b0ae03744a00f29f180666c0.xhtml failed
This is an old revision of the document!
Internal evaluation
In this course you need make a presentation of some algorithms.
Some ideas
- 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