PulseAugur
实时 09:31:28
实体 Single Constant Multiplication

Single Constant Multiplication

PulseAugur coverage of Single Constant Multiplication — every cluster mentioning Single Constant Multiplication across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_160686 ·

    机器学习加速硬件设计问题的SAT编码

    研究人员开发了一个神经符号框架,以提高单常数乘法(SCM)问题的编码效率。该方法使用图神经网络来预测有效的运算符选择规则,显著减少了大型常数的编码时间和内存使用量。该方法在未见的17-32位常数上,编码时间减少了一到两个数量级,内存使用量减少了97%以上,同时保持了接近最优的编码质量。