Discover @anhpham197 Open Source projects

Anh Pham (@anhpham197)

anhpham197

Stars
2
Global Rank 2,219,069 (Top 77 %)
Followers 5
Following 3
Registered over 4 years ago
Most used languages

Java
100.0 %
Location 🇻🇳 Vietnam
Country Total Rank 8,583
Country Ranking

Java
2,340

SAT-Encoding-for-Numberlink

Towards an optimal CNF Encoding for Numberlink problem