Apparently, this user prefers to keep an air of mystery about them.
12 How hard is finding the discrete logarithm? Jul 9 '12
7 Is generalized XOR-SAT efficiently solvable? Apr 13 '15
7 How much can we reduce the number of clauses by converting from $k$-SAT to $(k+m)$-SAT? Aug 21 '12
4 What circuit depth is required to add? Jan 3 '14
3 What are the potential uses of a good R.N.S. system? Nov 14 '12
1 What complexity class is this ciruit problem? Nov 20 '14