Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
PositiveArtificial Intelligence
- A new graph neural network approach named SplitGNN has been proposed to tackle the weighted maximum satisfiability (MaxSAT) problem. This method features a co-training architecture that combines supervised message passing and an unsupervised solution boosting layer, along with a novel edge-splitting factor graph for enhanced structural learning. Experimental results indicate that SplitGNN achieves three times faster convergence and superior predictions compared to existing GNN architectures.
- The development of SplitGNN is significant as it not only improves the efficiency of solving complex weighted MaxSAT instances but also outperforms modern heuristic MaxSAT solvers on larger benchmarks. This advancement could have substantial implications for fields requiring optimization solutions, potentially enhancing various applications in artificial intelligence and operations research.
— via World Pulse Now AI Editorial System
