论文标题
SAT解决的神经启发式方法
Neural heuristics for SAT solving
论文作者
论文摘要
我们使用带有消息的架构的神经图网络和注意机制，以增强两种SAT溶解算法中的分支启发式。我们报告了与两个标准的人类设计的启发式方法相比，学到的神经启发式方法的改进。
We use neural graph networks with a message-passing architecture and an attention mechanism to enhance the branching heuristic in two SAT-solving algorithms. We report improvements of learned neural heuristics compared with two standard human-designed heuristics.
