System: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/
by CoPL
TQBF Solver for assisnmentC.
SIG matrixとJaccard similaritiesでMinhash Signaturesを計算し、Jaccard similarities方法がより効果的と推定される状況を分析した。
For Strongly Connected Components
System: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/
by CoPL
TQBF Solver for assisnmentC.
SIG matrixとJaccard similaritiesでMinhash Signaturesを計算し、Jaccard similarities方法がより効果的と推定される状況を分析した。
For Strongly Connected Components