伪布尔传播的新型混合启发式方法
人工智能
2025-12-22 v2 最优化与控制
摘要
在伪布尔求解中，当前最成功的单元传播策略是一种混合模式，结合了观看文字方案和计数方法。本短文介绍了新的混合启发式方法，这些方法在 RoundingSAT 求解器中能够大幅优于当前方法。
关键词
引用
@article{arxiv.2511.21417,
title = {New Hybrid Heuristics for Pseudo-Boolean Propagation},
author = {Mia Müßig and Jan Johannsen},
journal= {arXiv preprint arXiv:2511.21417},
year = {2025}
}
备注
5 pages, 3 figures, added different cut-off for old hybrid