搜索筛选:
搜索耗时0.0944秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[学位论文] 作者：黄拙,
来源：中国科学院软件研究所 年份：2004
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。多年来...
[期刊论文] 作者：黄拙诚,
来源：信息产业报道 年份：2005
2005年,张瑞敏及其领军的海尔依然被“第一”的光环所包围:4月,张瑞敏荣登“中国最具影响力的商界领袖年度排行榜”第一宝座;8月,海尔跻身英国和麦肯锡携手评选的“中国十大...
[期刊论文] 作者：黄拙诚,
来源：信息产业报道 年份：2005
王传福似乎又赢了一把.rn2005年2月,原本想挫一挫后起之秀比亚迪锐气,并企图除之而后快的全球充电电池厂商老大三洋公司,花了漫长的两年多时间,苦于难以找到强有力的证据证明...
[期刊论文] 作者：黄拙, 张健,,
来源：软件学报 年份：2005
命题逻辑可满足性(SAT)问题是计算机科学中的一个重要问题.近年来许多学者在这方面进行了大量的研究,提出了不少有效的算法.但是,很多实际问题如果用一组一阶逻辑公式来描述,...
[期刊论文] 作者：黄拙, 张健,
来源：软件学报 年份：2005
命题逻辑可满足性(SAT)问题是计算机科学中的一个重要问题.近年来许多学者在这方面进行了大量的研究,提出了不少有效的算法.但是,很多实际问题如果用一组一阶逻辑公式来描述,...
[期刊论文] 作者：浩波,黄拙,
来源：南方国土资源 年份：2007
田阳，壮族始祖布洛陀诞生的地方，右江河谷上著名的“芒果之乡”，是文人笔下“一轮在希望田野上升起的朝阳”。随着自治区党委、政府把百色建设成为全国乃至亚洲最大铝工业基地的......
[期刊论文] 作者：廖大海,黄拙,
来源：南方国土资源 年份：2009
在声势浩大的“双保”大战中，广西县级国土资源部门认真把握住了其中的要点，既保“增长”又保“耕地”，既保“大家”又保“小家”，一方面积极服务保障建设项目落地，另一方面采取措......
[期刊论文] 作者：浩波,黄拙,,
来源：南方国土资源 年份：2008
田阳县国土资源局的干部职工用忠诚和热情，用汗水和智慧，书写出一篇矿产资源管理的好文章。这篇文章的主题思想就是——...
[期刊论文] 作者：季晓慧,黄拙,张健,
来源：计算机学报 年份：2005
提出了将混合约束问题转化为混合整数规划问题的方法.用约束求解方法及混合整数规划方法共同求解混合约束问题可以令二者相互借鉴,从而促进二者求解技术的进一步发展.同时,由...
[期刊论文] 作者：李晓棠,黄彦军,黄拙,
来源：南方国土资源 年份：2010
第二次全国土地调查（以下简称二调）于2007年7月1日正式启动，时至今日，历时两年多的二调工作已完成过半。虽然成果喜人，但事实上全区国土系统的二调之路并不平坦。...
[期刊论文] 作者：陶琦,罗伟将,罗彬,黄发亮,淡石凤,刘晓,严芬,黄拙,农吉硬,
来源：南方国土资源 年份：2008
如何让纠纷调处工作顺应时代的潮流，适应改革的需要，让群众满意，给政府放心，保一方平安，是迫在眉睫的新课题。广西各级国土资源信访部门，坚持贯彻落实科学发展观，解放思想，大胆创新，以......
相关搜索：
