Reasoning About Knowledge by SAT Solving

会议类型: 国际会议

会议名称: 2006 International Conference on Computational Intelligence and Security（2006国际计算智能与信息安全会议）

会议地点: 广州

会议语种:英文

页码: 536-539

在线出版日期: 2006-11-03（万方平台首次上网日期，不代表论文的发表时间）