ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
shengyiw

Shengyi Wang

2 ºÝºÝߣShares26 Followers29 Followings
2 ºÝºÝߣShares26 Followers29 Followings
Personal Information
Organization / Workplace
Beijing, China
Occupation
Research Assistant

Presentations(2)Ìý

Mechanized Ramification
Mechanized RamificationMechanized Ramification
Mechanized Ramification
Ìý
Algorithms for Graph Coloring Problem
Algorithms for Graph Coloring ProblemAlgorithms for Graph Coloring Problem
Algorithms for Graph Coloring Problem
Ìý