Nov, 2022

Denoising Diffusion for Sampling SAT Solutions

TL;DR使用去噪扩散和图神经网络生成多样化的布尔可满足性问题的解决方案,结果比现有最佳纯神经方法的准确度相似,即使系统用标准求解器中的非随机解进行训练,生成的解决方案也极其丰富。