来自SAT学会的通知，广告一个难得的课程，基本包括了proof complexity 和SAT求解的绝大部分内容。相当难得，相当难得，相当难得！
http://t.cn/AXAwC7Jh
发布于 北京
蔡少伟
来自SAT学会的通知，广告一个难得的课程，基本包括了proof complexity 和SAT求解的绝大部分内容。相当难得，相当难得，相当难得！
http://t.cn/AXAwC7Jh