科研之友为用户提供基于科研社交网络平台的科技管理,成果推广和技术转移服务,使命是连接人与人,人与知识,人与服务,分享与发现知识,让科研更成功,让创新更高效
, 使Tseitin问题得到了彻底的解决.共完成并正式发表论文50余篇,1996年参加第三届SAT问题快速算法国际竞赛获得第一名。享受国家政府特殊津贴。著作 《近世计算理论导引——NP难度问题的背景、前景及其求解算法研究》———黄文奇 许如初著 科学出版社 《求解NP难问题的拟人拟物方法》黄文奇 许如初 出版图书 ...