PulseAugur
中
实时 08:14:03
实体 SAT benchmarks

SAT benchmarks

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

Show in brief
总计 · 30天
0
90 天内 0
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天

过去 90 天内暂无报道。

主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_11913 ·

    研究人员为离散逻辑问题开发了基于梯度的方法

    研究人员开发了一种将基于梯度的方法应用于离散逻辑域的新颖方法，这是神经符号AI中的一项重大挑战。他们的方法利用哥德尔语义创建了一个同态映射，将连续解释映射到布尔解释，从而实现微分同时保留逻辑结构。该技术有效地将基于梯度的方法转化为布尔可满足性的离散局部搜索，并在SAT基准测试和Visual Sudoku上的实验验证了其性能。