Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance

Today's article comes from the PeerJ journal of Computer Science. The authors are Yun et al., from the Harbin Institute of Technology, in China. In this paper they showcase a new strategy for solving real-world SAT problems at scale.

DOI: 10.7717/peerj-cs.3076