Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of Tianyi Liang

Tianyi Liang

Tianyi Liang has asked 2 questions and find answers to 1 problems.

Stats

23
EtPoint
2
Vote count
2
questions
1
answers

About

Implementing a parallel first-order Theorem Solver by JAVA/Scala (previously) and now C++/Charm++. Focusing on performance issue now.