zhiwenf/pmc
parallel maximum clique library
Developer Profile
zhiwenf
Discovered public repositories for zhiwenf in the GitHub catalog.
zhiwenf/leveldb
Clone of http://code.google.com/p/leveldb/
zhiwenf/minisat
A minimalistic and high-performance SAT solver
zhiwenf/RB
Tools for RB model benchmark, generators, solvers etc
zhiwenf/datasci_course_materials
Public repository for course materials for the Spring 2013 session of Introduction to Data Science, an online coursera course.
zhiwenf/RBGameCounter
RBGameCounter
zhiwenf/bitwise
implement some integer operations with bitwise only
zhiwenf/RandomGraph
generate random graph for minimum vertex cover(MVC) problem. And sort the graph by the number of MVC and the number of backtrack to search MVC by greedy