ntabee has asked 0
questions and find answers to 2
problems.
Stats
70 EtPoint
26 Vote count
0 questions
2 answers
About
Used to be a researcher on software verification, theoretical aspects of security & XML processing: http://scholar.google.co.jp/citations?user=Vq8IswQAAAAJ
Now writing a solver for combinatory optimization, don't know why...