实体 Tianyi Ding

Tianyi Ding

PulseAugur coverage of Tianyi Ding — every cluster mentioning Tianyi Ding across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_338514 · Nov 3 · 05:00

新的混合SMT-NRA求解器提高了搜索效率

研究人员开发了一个新颖的非线性实数算术理论可满足性模（SMT-NRA）混合框架。这种新方法集成了二维单元跳跃移动，它允许比现有方法更宽的搜索平面，并扩展了称为2D-LS的局部搜索框架。该系统进一步整合了MCSAT和OpenCAD，实现了高效的信息交换以提高搜索性能。实验结果表明局部搜索效率有了显著提高。