归结算法
CNF Skolem化 归结
Posted by SixTeen on November 24, 2015
AndroidStudio中导入开源库
import modules
Posted by SixTeen on November 18, 2015
模拟退火法
simulateAneal implement
Posted by SixTeen on November 12, 2015
局部搜索
searching-with-partial-observation
Posted by SixTeen on November 11, 2015
C/C++里如何生成随机数
rand
Posted by SixTeen on November 10, 2015
伪代码
pseudocode
Posted by SixTeen on November 8, 2015
MD5工作过程和C++实现版
MD5
Posted by SixTeen on October 31, 2015
MD5 C++实现版
MD5
Posted by SixTeen on October 30, 2015