AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION

来源 :电子科学学刊：英文版 | 被引量 : 0次 | 上传用户：ghosty

【摘要】

：

Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.F

【作者】

：

Zhang Jianmin Shen Shengyu Li

【机构】

：

SchoolofComputerScience

【出处】

：

电子科学学刊：英文版

【发表日期】

：

2008年5期

【关键词】

：

电子设计自动化蚁群算法硬件外形最小不满足核提取 Electronic Design Automation （EDA） Formal verificati

【基金项目】

：

Supported by the National Natural Science Foundation of China （No.60603088）. @nudt.edu.cn.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is g

其他文献

陆水水库土石坝草皮护坡探索

多年来，如何选择适宜在坝坡种植的草种及草皮建植方法，一直困扰着水库工程管理单位。结合陆水水库草皮护坡选择实例，对如何选择既能保护坝坡安全，又能美化环境的草皮护坡草种及种

期刊

土石坝草皮护坡草种选择陆水水库soil and rock dam sob revetment grass selection Lushui Res

电厂锅炉设备中高温过热器爆管的原因以及防治措施

电厂锅炉设备作为影响机组安全运行以及电厂经济效益的重要环节,其突出的爆漏问题一直以来都是导致火电机组强迫停机的主要原因。为了从根本上结束电厂锅炉设备中高温过热器

期刊

电厂锅炉设备高温过热器爆管原因措施

牛栏江-滇池补水工程技术管理探析

工程技术管理是工程项目管理中的重要环节。为了保证牛栏江-滇池补水工程顺利完工,针对该工程技术的复杂性,建立了以业主为核心、以设计为龙头的技术管理体系,并健全了工程技

期刊

技术管理工程管理实施措施牛栏江-滇池补水工程technical management project management implementing

长江澄通河段综合整治规划要点及实施效果分析

治理澄通河段不但是稳定长江口南支进口段河势的基础,也是实现深水航道上延和促进两岸经济社会发展的迫切需要.在分析长江澄通河段综合整治规划背景及其河道演变特征的基础上

期刊

河口整治规划设计效果评估

陆浑水库洪水预报程序设计

陆浑水库汇流预报采用单元面积汇流单位线,即将全流域划分为若干块单元面积,降雨以后,各单元面积的出口断面处都将产生相应盼径流过程.然后分别从每块单元面积的出口断面处开

期刊

入库流量预报单位线程序设计方法陆浑水库unit hydrograph reservoir inflow forecast programming m

浅谈智能电网环境下电力市场面临的机遇与挑战

摘要:针对目前电网环境的智能化发展趋势,本文分析了电力市场面临的几个主要发展机遇,为电力系统节能效益的实现奠定了基础。同时探讨了大规模分布式绿色能源并网,大容量间歇式绿色能源并网和广域互联电力系统给电力市场带来的挑战,为智能电网环境下电力市场的深入研究提供参考。　　关键词:智能电网电力市场绿色能源　　中图分类号：TM76文献标示码:A文章编号:1674-098X(2012)04(a)-0

期刊

智能电网电力市场绿色能源

INTERPOLATION OF HEAD-RELATED TRANSFER FUNCTIONS USING SPHERICAL FOURIER EXPANSION

A new interpolation algorithm for Head-Related Transfer Function (HRTF) is proposed to realize 3D sound reproduction via headphones in arbitrary spatial directi

期刊

插值算法传递函数傅里叶展开FROBENIUS范数头部HRTF奇异值分解空间方向Head-Related Transfer Function （H

A LOSSLESS COMPRESSION ALGORITHM OF REMOTE SENSING IMAGE FOR SPACE APPLICATIONS

A simple and adaptive lossless compression algorithm is proposed for remote sensing image compression,which includes integer wavelet transform and the Rice entr

期刊

遥感图像无损压缩赖斯熵编码器整数离散小波变换Remote sensing image Lossless compression Rice entro

SCENARIO AND TARGET ,SIMULATION FOR A GROUND BASED MULTIFUNCTION PHASED ARRAY RADAR

This paper describes a scenario and target simulation which operates in non real-time to provide full closed-loop operation of the ground based multifunction ph

期刊

多功能雷达想定目标定向数列MFR （MultiFunction Radar） Scenario Target

H.264 MOTION ESTIMATION ALGORITHM BASED ON VIDEO SEQUENCES ACTIVITY

Motion estimation is an important part of H.264/AVC encoding progress, with high com- putational complexity. Therefore, it is quite necessary to find a fast mot

期刊

运动估计编码匹配H.264通信技术Motion estimation Block matching Diamond search H.264

AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION

其他学术论文