BriefGPT - AI 论文速递 · 2024-02-07T00:00:00Z

软件产品线中解决优先级成对测试数据生成问题的 CMSA 算法

📝

内容提要

该研究提出了一种名为DCSAT的统一框架，用于解决不同类型的布尔可满足性问题。该方法结合了整数规划和强化学习算法，并应用了蒙特卡罗树搜索方法。实验证明，该方法能够找到最优的布尔赋值，并提供多样的标签。

🏷️

标签

优先级 算法