科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
N
Nicolai Fiege
university of kassel
3
H指数
11
论文数
27
被引数
0
相关解读
订阅
收录论文
4
发表时间
发表时间
IF
被引数
Discovering Optimal Constant Matrix Multiplication Circuits With Boolean Satisfiability
利用布尔可满足性问题发现最优常数矩阵乘法电路
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF
2.9
2025-09-19
0
PRE
AI
Nicolai Fiege; Peter Zipf
分享
收藏
Fantastic Circuits and Where to Find Them-A Holistic ILP Formulation for Model-Based Hardware Design
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS
IF
2.8
2025-01-30
0
OA
AI
Fiege, Nicolai; Zipf, Peter
分享
收藏
Bit-Level Optimized Constant Multiplication Using Boolean Satisfiability
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS
IF
5.2
2024-01-01
2
PRE
AI
Fiege, Nicolai; Kumm, Martin; Zipf, Peter
分享
收藏
BLOOP: Boolean Satisfiability-based Optimized Loop Pipelining
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS
IF
2.8
2023-07-27
2
PRE
AI
Fiege, Nicolai; Zipf, Peter
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
M
Martin Kumm
H 指数: 20 · 论文数: 116
P
Peter Zipf
H 指数: 20 · 论文数: 133
已加载全部