| Mon, 13 Feb 2012 19:33:03 +0000 | urbanc | some parts of the conclusion | file | diff | annotate |
| Mon, 13 Feb 2012 15:42:45 +0000 | urbanc | proof idea | file | diff | annotate |
| Mon, 13 Feb 2012 15:35:08 +0000 | urbanc | added implementation section | file | diff | annotate |
| Mon, 13 Feb 2012 10:57:47 +0000 | urbanc | merged Xingyuan's changes | file | diff | annotate |
| Mon, 13 Feb 2012 10:44:42 +0000 | urbanc | polished | file | diff | annotate |
| Mon, 13 Feb 2012 05:41:53 +0000 | urbanc | more on the paper | file | diff | annotate |
| Mon, 13 Feb 2012 04:22:52 +0000 | urbanc | more on the paper | file | diff | annotate |
| Mon, 13 Feb 2012 03:31:40 +0000 | urbanc | assumptions | file | diff | annotate |