切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Integrating advanced reasoning into a SAT solver
Integrating advanced reasoning into a SAT solver
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:angus000
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
DING Min
Tang Pushan
ZHOU Dian
【机 构】
:
ASIC & System State Key Laboratory, Microelectronics Department, Fudan University, Shanghai 200433,
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2005年3期
【关键词】
:
satisfiability (SAT)
formal verification
electronics design automation
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
2015年地市党报融合发展的实践与思考
地市党报作为我国党报方阵的重要组成部分,长期以来在当地具有很大影响。中央《关于推动传统媒体和新兴媒体融合发展的指导意见》(以下简称《意见》)发布以来,各地媒体广泛开展以融合求发展、用发展促融合的创新实践。一年多来,地市党报在探索符合当地实际的融合之路方面取得了积极进展。本文围绕"地市党报融合发展"这一主题,以地市党报业界人士2015年度在学术期刊上发表的文章及相关研讨会资料为依据,梳理有关地市党报
期刊
地市党报
融合发展
创新实践
传统媒体
研究成果
学术期刊
组成
资料
主题
学界
梳理
方阵
报业
低热量饮食延年益寿
据研究人员介绍,即使是并不肥胖的人,低热量饮食也能使机体发生代谢和生化水平上的变化,而且还有益于健康长寿。人们早就认识到,少食可使大鼠和小鼠延长寿命。对于人类,情况
期刊
低热量饮食
健康长寿
生化
人员
机体
肥胖
代谢
“耕耘与奉献——吴冠中捐赠作品展”在京举办
“耕耘与奉献——吴冠中捐赠作品展”于2009年2月26日至3月8日在中国美术馆举办。吴冠中在展览开幕式上发表了简短的讲话,他强调说:“改革、创新是我们时代的大事。没有创造
期刊
吴冠中
捐赠
中国美术馆
作品展
“方言”版画展暨研讨会在青岛举办
2008年11月7日,来自全国各地的9位不同版种的中青年版画家,以及多位理论家相聚青岛美术馆,举办了题为“方言——关于当代版画艺术语言方式的思考”的版画展览以及题为“版画
期刊
方言
画展
版画艺术
语言方式
学术研讨
当代
中青年
美术馆
理论家
版画家
展览
青岛
距离
动物保健领域高端创新机构分析
本文通过文献检索与专利分析,从文献发表量与专利公开量的角度,对动物保健六个子领域的科研机构与企业进行综合排名,挖掘动物保健领域高端创新载体资源.
期刊
动物保健
创新载体
文献
专利
胶束电动毛细管色谱法测定海洋沉积物中的苯、甲苯和二甲苯
建立了用胶束电动毛细管色谱法(MECC)对海洋沉积物中的苯、甲苯和二甲苯进行分析测定的方法。用45cm(到检测窗口40cm)×75μmi.d.毛细管柱,以75mmolLSDS2mmolL四硼酸钠溶液(
期刊
胶束电动毛细管色谱法
海洋沉积物
苯系化合物
大学生活调色板
★绿色:校园新人类★高考后,我把所经历的一切压抑、无望与逃避都化作一场带泪的狂欢。在接到通知书的那一刻,我像笼里放飞的小鸟迫不及待地要飞入大学的蓝天。在进入大学时,
期刊
大学生活
新人类
通知书
职院
校园
小鸟
晚会
食品
绿色
蓝天
经历
江苏
高考
放飞
Vice President Shen Wenqing Met with IFREMER Delegation
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
International Cooperation
Director
the Earth
Research
Sea
met
Synthesis, algal inhibition activities and QSAR studies of novel gramine compounds containing ester
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
gramine derivative
synthesis
algal inhibition activity
QSAR
Theoretical study of highly vibrational states of nonlinear triatomic molecules using Lie algebraic
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
SO2
highly excited vibrational states
Lie algebra
与本文相关的学术论文