视频目录 / 数学逻辑、集合与证明

热度排名 #1397

怎样让普雷斯伯格算术的判定更快？

FPL: Fast Presburger Arithmetic through Transprecision

普雷斯伯格算术处理含加法的整数命题。报告的重点是实现时何时可用较小位宽，以及遇到更大数值时如何切换精度。

ACM SIGPLAN · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2022-01-04 · 帖子分数 3