2020-10-24 | Christian Urban | updated | file | diff | annotate |
2018-10-27 | Christian Urban | added_lit | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
2016-07-20 | Christian Urban |
added paper about size derivatives | file | diff | annotate |
2016-04-05 | Christian Urban |
updated programs | file | diff | annotate |
2016-04-01 | Christian Urban |
added bit-coded version | file | diff | annotate | base |