Writing /home/fac/arijit/public_html/dokuwiki/data/cache/4/401dfe27bed52f173792b6eb0846b822.i failed
Unable to save cache file. Hint: disk full; file permissions; safe_mode setting.
Writing /home/fac/arijit/public_html/dokuwiki/data/cache/4/401dfe27bed52f173792b6eb0846b822.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