OpenReview · State space models· Knot Pipatsrisawat; Akop Palyan; Mark Chavira; Arthur Choi; Adnan Darwiche·2008-01-01 08:00· 2008-01-01AI 评分27

在缩减搜索空间中求解加权 Max-SAT 问题：性能分析

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis

AI 导读

基于摘要分析。研究关注缩减搜索空间中的加权 Max-SAT 问题求解及其性能分析。现有材料仅含原标题与出版平台描述，具体方法机制、数据集、原始评估协议及作者报告的实验结果尚未验证，无法据此判断缩减搜索空间的性能收益。