Cover Image

MILP-SAT-GNN: Yet Another Neural SAT Solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cardillo, Franco Alberto, Khyari, Hamza, Straccia, Umberto
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
by: Skenderi, Geri
Published: (2025)

PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
by: Cardillo, Franco Alberto, et al.
Published: (2023)

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

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

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

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

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

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

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

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

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
by: Sun, Yiwen, et al.
Published: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

Predictive Modeling of Effluent Temperature in SAT Systems Using Ambient Meteorological Data: Implications for Infiltration Management
by: Elkayam, Roy
Published: (2025)

An Implicit GNN Solver for Poisson-like problems
by: Nastorg, Matthieu, et al.
Published: (2023)

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

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
by: Li, Yang, et al.
Published: (2023)

PReLU: Yet Another Single-Layer Solution to the XOR Problem
by: Pinto, Rafael C., et al.
Published: (2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
by: Jha, Piyush, et al.
Published: (2024)

Belief Change based on Knowledge Measures
by: Straccia, Umberto, et al.
Published: (2024)

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

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

Dynamic Stratified Contrastive Learning with Upstream Augmentation for MILP Branching
by: Lu, Tongkai, et al.
Published: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

LiGNN: Graph Neural Networks at LinkedIn
by: Borisyuk, Fedor, et al.
Published: (2024)

Mapping of Land Use and Land Cover (LULC) using EuroSAT and Transfer Learning
by: Kunwar, Suman, et al.
Published: (2023)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
by: Su, Yuheng, et al.
Published: (2025)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

Dsat: A Native SAT Solver for Discrete Logic
by: Zhang, Yaofang, et al.
Published: (2026)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
by: Chen, Qiyue, et al.
Published: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

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

ComFairGNN: Community Fair Graph Neural Network
by: Sium, Yonas, et al.
Published: (2024)

Purity Law for Generalizable Neural TSP Solvers
by: Liu, Wenzhao, et al.
Published: (2025)

Out-of-Distribution Generalization for Neural Physics Solvers
by: Wei, Zhao, et al.
Published: (2026)

Memory-Enhanced Neural Solvers for Routing Problems
by: Chalumeau, Felix, et al.
Published: (2024)

Learning optimal objective values for MILP
by: Scavuzzo, Lara, et al.
Published: (2024)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
by: Wei, Anjiang, et al.
Published: (2025)

Framework GNN-AID: Graph Neural Network Analysis Interpretation and Defense
by: Lukyanov, Kirill, et al.
Published: (2025)

Sketch-GNN: Scalable Graph Neural Networks with Sublinear Training Complexity
by: Ding, Mucong, et al.
Published: (2024)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)