Image de couverture de livre

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wen, Weihuang, Yu, Tianshu
Format:	Preprint
Publié:	2023
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MILP-SAT-GNN: Yet Another Neural SAT Solver
par: Cardillo, Franco Alberto, et autres
Publié: (2025)

High-Throughput SAT Sampling
par: Ardakani, Arash, et autres
Publié: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
par: Liu, Huanyu, et autres
Publié: (2025)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
par: Wang, Wenxi, et autres
Publié: (2021)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
par: Zhang, Zhanguang, et autres
Publié: (2024)

Neural Approaches to SAT Solving: Design Choices and Interpretability
par: Mojžíšek, David, et autres
Publié: (2025)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
par: Pal, Koyena, et autres
Publié: (2026)

The OPS-SAT benchmark for detecting anomalies in satellite telemetry
par: Ruszczak, Bogdan, et autres
Publié: (2024)

Graph Learning with Distributional Edge Layouts
par: Zhao, Xinjian, et autres
Publié: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

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

Can Transformers Reason Logically? A Study in SAT Solving
par: Pan, Leyan, et autres
Publié: (2024)

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
par: Verel, Sébastien, et autres
Publié: (2024)

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

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
par: Hazra, Rishi, et autres
Publié: (2025)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
par: Li, Yang, et autres
Publié: (2023)

Enhancing Graph Self-Supervised Learning with Graph Interplay
par: Zhao, Xinjian, et autres
Publié: (2024)

Mapping of Land Use and Land Cover (LULC) using EuroSAT and Transfer Learning
par: Kunwar, Suman, et autres
Publié: (2023)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
par: Chen, Qiyue, et autres
Publié: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
par: Dai, Steve, et autres
Publié: (2025)

ReaLitE: Enrichment of Relation Embeddings in Knowledge Graphs using Numeric Literals
par: Klironomos, Antonis, et autres
Publié: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
par: Zhang, Zhiwei, et autres
Publié: (2025)

Rethinking Spectral Augmentation for Contrast-based Graph Self-Supervised Learning
par: Jian, Xiangru, et autres
Publié: (2024)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
par: Wei, Anjiang, et autres
Publié: (2025)

Self-Satisfied: An end-to-end framework for SAT generation and prediction
par: Serrano, Christopher R., et autres
Publié: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
par: Júnior, Antônio Carlos Souza Ferreira, et autres
Publié: (2024)

TreeMIL: A Multi-instance Learning Framework for Time Series Anomaly Detection with Inexact Supervision
par: Liu, Chen, et autres
Publié: (2024)

Heterogeneous Graph Prompt Learning via Adaptive Weight Pruning
par: Wei, Chu-Yuan, et autres
Publié: (2025)

Weighted Graph Structure Learning with Attention Denoising for Node Classification
par: Wang, Tingting, et autres
Publié: (2025)

A Two-Stage Algorithm for Cost-Efficient Multi-instance Counterfactual Explanations
par: Artelt, André, et autres
Publié: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
par: Sun, Yiwen, et autres
Publié: (2024)

Multi-order Graph Clustering with Adaptive Node-level Weight Learning
par: Liu, Ye, et autres
Publié: (2024)

100 instances is all you need: predicting the success of a new LLM on unseen data by testing on a few instances
par: Pacchiardi, Lorenzo, et autres
Publié: (2024)

ReMAP: Neural Reparameterization for Scalable MAP Inference in Arbitrary-Order Markov Random Fields
par: Wang, Yaomin, et autres
Publié: (2024)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
par: Jiang, Menghua, et autres
Publié: (2025)

Heterogeneous Graph Structure Learning through the Lens of Data-generating Processes
par: Jiang, Keyue, et autres
Publié: (2025)

AdaGamma: State-Dependent Discounting for Temporal Adaptation in Reinforcement Learning
par: Wang, Yaomin, et autres
Publié: (2026)

Classification of autoimmune diseases from Peripheral blood TCR repertoires by multimodal multi-instance learning
par: Zhang, Ruihao, et autres
Publié: (2025)

Parkinson's Disease Detection from Resting State EEG using Multi-Head Graph Structure Learning with Gradient Weighted Graph Attention Explanations
par: Neves, Christopher, et autres
Publié: (2024)

Certified MaxSAT Preprocessing
par: Ihalainen, Hannes, et autres
Publié: (2024)