IJCAIDec, 2020
关于伪布尔约束学习中无关文本的处理
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
Danel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
TL;DR本文研究了基于切割平面推理的 PB 求解器中的 PB 约束的学习问题,并揭示了使用切割平面推理导出的 PB 约束可能包含对约束的真值没有影响的文字,这些文字可能导致推出的约束比应该推出的约束要弱,从而影响求解器的证明长度和性能。因此建议在当前的基于切割平面推理的 PB 求解器实现中,应该重新考虑如何防止产生无关的文字。