Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture

arXiv — cs.LGWednesday, November 26, 2025 at 5:00:00 AM
  • 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

Was this article worth reading? Share it

Recommended apps based on your readingExplore all apps
Continue Readings
GSPN-2: Efficient Parallel Sequence Modeling
PositiveArtificial Intelligence
The Generalized Spatial Propagation Network (GSPN-2) has been introduced as an advanced model aimed at improving the efficiency of parallel sequence modeling, particularly for high-resolution images and long videos. This new implementation addresses the limitations of its predecessor by reducing GPU kernel launches and optimizing data transfers, thereby enhancing computational performance.
GPU Memory Prediction for Multimodal Model Training
NeutralArtificial Intelligence
A new framework has been proposed to predict GPU memory usage during the training of multimodal models, addressing the common issue of out-of-memory (OoM) errors that disrupt training processes. This framework analyzes model architecture and training behavior, decomposing models into layers to estimate memory usage accurately.
GPU-GLMB: Assessing the Scalability of GPU-Accelerated Multi-Hypothesis Tracking
NeutralArtificial Intelligence
Recent research has focused on the scalability of GPU-accelerated multi-hypothesis tracking, particularly through the Generalized Labeled Multi-Bernoulli (GLMB) filter, which allows for multiple detections per object. This method addresses the computational challenges associated with maintaining multiple hypotheses in multi-target tracking systems, especially in distributed networks of machine learning-based virtual sensors.
AGORA: Adversarial Generation Of Real-time Animatable 3D Gaussian Head Avatars
PositiveArtificial Intelligence
AGORA has been introduced as a novel framework that enhances the generation of animatable 3D human avatars by extending 3D Gaussian Splatting within a generative adversarial network. This development addresses the limitations of existing methods, such as slow rendering and lack of dynamic control, enabling real-time inference and fine-grained expression control.
HPC-Driven Modeling with ML-Based Surrogates for Magnon-Photon Dynamics in Hybrid Quantum Systems
PositiveArtificial Intelligence
A new simulation framework utilizing high-performance computing (HPC) and machine learning (ML) has been developed to model magnon-photon dynamics in hybrid quantum systems. This framework leverages GPU technology to enable large-scale, fully coupled simulations that accurately capture the interactions between ferromagnetic and electromagnetic fields, addressing significant challenges in the field.
Materium: An Autoregressive Approach for Material Generation
NeutralArtificial Intelligence
Materium has been introduced as an autoregressive transformer designed for generating crystal structures by converting 3D material representations into token sequences, which include essential parameters like oxidation states and lattice parameters. This model distinguishes itself from diffusion methods by placing atoms at precise fractional coordinates, allowing for rapid and scalable generation of material samples.