Cover Image

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Qiyue, Tan, Shaolin, Gao, Suixiang, Lü, Jinhu
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

Redundancy rules for MaxSAT
by: Bonacina, Ilario, et al.
Published: (2025)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
by: Jiang, Menghua, et al.
Published: (2025)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)

Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
by: Kieu, Tuyen Van, et al.
Published: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

Decoding quantum color codes with MaxSAT
by: Berent, Lucas, et al.
Published: (2023)

MaxSAT decoders for arbitrary CSS codes
by: Noormandipour, Mohammadreza, et al.
Published: (2024)

LLM Routing as Reasoning: A MaxSAT View
by: Nguyen, Son, et al.
Published: (2026)

MILP-SAT-GNN: Yet Another Neural SAT Solver
by: Cardillo, Franco Alberto, et al.
Published: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
by: Wen, Weihuang, et al.
Published: (2023)

A general optimization solver based on OP-to-MaxSAT reduction
by: Zhao, Yuxin, et al.
Published: (2026)

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses
by: Lübke, Ole
Published: (2024)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
by: Zheng, Jiongzhi, et al.
Published: (2024)

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
by: Li, Zhaoyu, et al.
Published: (2023)

Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming
by: Engelhardt, Max, et al.
Published: (2025)

Neural Approaches to SAT Solving: Design Choices and Interpretability
by: Mojžíšek, David, et al.
Published: (2025)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
by: Wang, Wenxi, et al.
Published: (2021)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

High-Throughput SAT Sampling
by: Ardakani, Arash, et al.
Published: (2025)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
by: Zhang, Zhanguang, et al.
Published: (2024)

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
by: Bannach, Max, et al.
Published: (2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
by: Ye, Furong, et al.
Published: (2024)

V-SAT: Video Subtitle Annotation Tool
by: Kundu, Arpita, et al.
Published: (2025)

Target-Aware Data Augmentation for SAT Prediction
by: Gal, Eshed, et al.
Published: (2026)

HyperIMTS: Hypergraph Neural Network for Irregular Multivariate Time Series Forecasting
by: Li, Boyuan, et al.
Published: (2025)

HyperMagNet: A Magnetic Laplacian based Hypergraph Neural Network
by: Benko, Tatyana, et al.
Published: (2024)

Structure based SAT dataset for analysing GNN generalisation
by: Fu, Yi, et al.
Published: (2025)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

One-Shot Learning for k-SAT
by: Galanis, Andreas, et al.
Published: (2025)

HyperNQ: A Hypergraph Neural Network Decoder for Quantum LDPC Codes
by: Bhave, Ameya S., et al.
Published: (2025)

Quantum k-SAT Related Hypergraph Problems
by: Kremer, Simon-Luca, et al.
Published: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
by: Liu, Huanyu, et al.
Published: (2025)

HyperBrain: Anomaly Detection for Temporal Hypergraph Brain Networks
by: Sadeghian, Sadaf, et al.
Published: (2024)

The OPS-SAT benchmark for detecting anomalies in satellite telemetry
by: Ruszczak, Bogdan, et al.
Published: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)

Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
by: Tönshoff, Jan, et al.
Published: (2025)

Heterogeneous Temporal Hypergraph Neural Network
by: Liu, Huan, et al.
Published: (2025)

Wasserstein Hypergraph Neural Network
by: Duta, Iulia, et al.
Published: (2025)