本文综述了利用机器学习改进SAT/MaxSAT求解的研究，涵盖可微MaxSAT求解器、GPU并行算法、图神经网络求解器、NeuroCore分支启发式优化及机器学习辅助CDCL等方法，指出该方向前景广阔但仍具挑战。