PulseAugur
中
实时 06:46:37
实体 Knuth–Bendix completion algorithm

Knuth–Bendix completion algorithm

PulseAugur coverage of Knuth–Bendix completion algorithm — every cluster mentioning Knuth–Bendix completion algorithm 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_231521 ·

    新的 EQT2 求解器通过可验证证书处理等式蕴涵

    研究人员开发了一种名为 EQT2 的新求解器，旨在确定岩浆恒等式的等式蕴涵。该求解器作为最便宜优先级联运行，结合了多种技术，例如系数测试、有限模型搜索以及其假分支的显式群oid见证。真分支利用有序单位叠加过程，并具有如 Knuth-Bendix 排序和双向解调等高级功能。该求解器的输出旨在由确定性 Lean 裁判进行验证，并且它在多个测试集上取得了成功，而没有使用语言模型。