Logic Optimization: Redundancy Addition and Removal Using Implication Relations

计算机科学 冗余(工程) 理论计算机科学 操作系统
作者
Hideyuki Ichihara,K. Kinoshita
出处
期刊:IEICE Transactions on Information and Systems [Institute of Electronics, Information and Communication Engineers]
卷期号:81 (7): 724-730
链接

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
大福同学发布了新的文献求助10
刚刚
罗丹丹发布了新的文献求助10
2秒前
meng完成签到,获得积分10
2秒前
2秒前
袁寒烟完成签到,获得积分10
2秒前
3秒前
4秒前
www发布了新的文献求助10
7秒前
研友_VZG7GZ应助Gloven采纳,获得10
7秒前
学术大咖发布了新的文献求助10
7秒前
8秒前
8秒前
8秒前
9秒前
大个应助Aeson采纳,获得10
12秒前
肖战战发布了新的文献求助10
13秒前
执着听云发布了新的文献求助20
13秒前
冰糕发布了新的文献求助10
14秒前
沈华炜完成签到,获得积分10
14秒前
你好吗完成签到,获得积分10
14秒前
YAMO一发布了新的文献求助50
14秒前
14秒前
小6s发布了新的文献求助10
14秒前
LCCCC完成签到,获得积分10
15秒前
秀丽若灵发布了新的文献求助10
15秒前
秋糜发布了新的文献求助10
15秒前
罗丹丹完成签到,获得积分10
17秒前
17秒前
17秒前
18秒前
19秒前
bible完成签到,获得积分10
19秒前
19秒前
花花花花完成签到,获得积分10
19秒前
双楠完成签到,获得积分10
20秒前
无语的笑卉完成签到 ,获得积分10
20秒前
jun发布了新的文献求助20
20秒前
乔垣结衣应助charles采纳,获得10
21秒前
充电宝应助百里健柏采纳,获得10
21秒前
查理完成签到,获得积分10
21秒前
高分求助中
【请各位用户详细阅读此贴后再求助】科研通的精品贴汇总(请勿应助) 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 1000
Global Eyelash Assessment scale (GEA) 1000
Comparison analysis of Apple face ID in iPad Pro 13” with first use of metasurfaces for diffraction vs. iPhone 16 Pro 500
Towards a $2B optical metasurfaces opportunity by 2029: a cornerstone for augmented reality, an incremental innovation for imaging (YINTR24441) 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4050274
求助须知:如何正确求助?哪些是违规求助? 3588504
关于积分的说明 11403149
捐赠科研通 3314890
什么是DOI,文献DOI怎么找? 1823409
邀请新用户注册赠送积分活动 895436
科研通“疑难数据库(出版商)”最低求助积分说明 816772