您的当前位置是:第三章 确定性推理>>学习资源>>推荐网站
1.世界象棋联合会-人机对弈
http://24.246.75.99/wxfc/ 世界象棋联合会1993年4月6日成立于北京,来自亚洲、欧洲、美洲和大洋洲20个国家和地区代表出席大会,会议通过了《世界象棋联合会章程》。首任主席为中国人民政治协商会议副主席霍英东先生,现任主席为霍震霆先生。世界象棋联合会为推动象棋走向世界做出了卓越贡献。 |
|
2.2013年约束满足问题及其应用年会
http://sat2013.cs.helsinki.fi/ 该网站是研究人员关注的约束满足问题主要年会命题的理论和应用程序,它包括布尔优化,量化布尔公式,可满足性模理论,和约束编程的问题等。 |
|