作者：admin 时间：2013-10-18 点击数：
报告人:王艺源
报告题目:Counting the number of solutions for instances of satisfiability
报告地点:计算机科学与信息技术学院401室13:30
报告时间:2013年10月21日
版权所有© 东北师范大学信息科学与技术学院 地址: 吉林省长春市净月大街2555号 邮编130117 网站制作与维护: 计算机科学系 电话: 0431-84536338 传真: 0431-84536331
