Copertina

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hůla, Jan, Mojžíšek, David, Janota, Mikoláš
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Geometric Reasoning in the Embedding Space
di: Hůla, Jan, et al.
Pubblicazione: (2025)

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

Minimizing the Weighted Number of Tardy Jobs: Data-Driven Heuristic for Single-Machine Scheduling
di: Antonov, Nikolai, et al.
Pubblicazione: (2025)

On the Expressive Power of GNNs for Boolean Satisfiability
di: Peltonen, Saku, et al.
Pubblicazione: (2026)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

Machine Learning for Quantifier Selection in cvc5
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

Learning-Augmented Algorithms for Boolean Satisfiability
di: Attias, Idan, et al.
Pubblicazione: (2025)

Boolean Satisfiability via Imitation Learning
di: Zhang, Zewei, et al.
Pubblicazione: (2025)

Experimental Results for Vampire on the Equational Theories Project
di: Janota, Mikoláš
Pubblicazione: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
di: Ratschan, Stefan, et al.
Pubblicazione: (2026)

Quantifier Instantiations: To Mimic or To Revolt?
di: Jakubův, Jan, et al.
Pubblicazione: (2025)

MAGNOLIA: Matching Algorithms via GNNs for Online Value-to-go Approximation
di: Hayderi, Alexandre, et al.
Pubblicazione: (2024)

A Boolean Function-Theoretic Framework for Expressivity in GNNs with Applications to Fair Graph Mining
di: Pal, Manjish
Pubblicazione: (2026)

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

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Breaking Symmetries with Involutions
di: Codish, Michael, et al.
Pubblicazione: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Breaking Symmetries from a Set-Covering Perspective
di: Codish, Michael, et al.
Pubblicazione: (2025)

Understanding GNNs and Homophily in Dynamic Node Classification
di: Ito, Michael, et al.
Pubblicazione: (2025)

Acceleration Algorithms in GNNs: A Survey
di: Ma, Lu, et al.
Pubblicazione: (2024)

First Experiments with Neural cvc5
di: Piepenbrock, Jelle, et al.
Pubblicazione: (2025)

Flood and Echo Net: Algorithmically Aligned GNNs that Generalize
di: Mathys, Joël, et al.
Pubblicazione: (2023)

Towards an Understanding of Stepwise Inference in Transformers: A Synthetic Graph Navigation Model
di: Khona, Mikail, et al.
Pubblicazione: (2024)

A Signed Graph Approach to Understanding and Mitigating Oversmoothing in GNNs
di: Wang, Jiaqi, et al.
Pubblicazione: (2025)

What Do GNNs Actually Learn? Towards Understanding their Representations
di: Nikolentzos, Giannis, et al.
Pubblicazione: (2023)

Beyond Oversquashing: Understanding Signal Propagation in GNNs Via Observables
di: Nagar, Eden, et al.
Pubblicazione: (2026)

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

Understanding and Improving Laplacian Positional Encodings For Temporal GNNs
di: Galron, Yaniv, et al.
Pubblicazione: (2025)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

B-cos GNNs: Faithful Explanations through Dynamic Linearity
di: Groß, Joschka, et al.
Pubblicazione: (2026)

Classic GNNs are Strong Baselines: Reassessing GNNs for Node Classification
di: Luo, Yuankai, et al.
Pubblicazione: (2024)

Understanding Oversmoothing in Diffusion-Based GNNs From the Perspective of Operator Semigroup Theory
di: Zhao, Weichen, et al.
Pubblicazione: (2024)

Message-Passing GNNs Fail to Approximate Sparse Triangular Factorizations
di: Trifonov, Vladislav, et al.
Pubblicazione: (2025)

Empowering GNNs via Edge-Aware Weisfeiler-Leman Algorithm
di: Liu, Meng, et al.
Pubblicazione: (2022)

ConstellationNet: Reinventing Spatial Clustering through GNNs
di: Gao, Aidan, et al.
Pubblicazione: (2025)

Towards Precise Prediction Uncertainty in GNNs: Refining GNNs with Topology-grouping Strategy
di: Seo, Hyunjin, et al.
Pubblicazione: (2024)

Towards Understanding the Expressive Power of GNNs with Global Readout
di: Funk, Maurice, et al.
Pubblicazione: (2026)

On the Scalability of GNNs for Molecular Graphs
di: Sypetkowski, Maciej, et al.
Pubblicazione: (2024)

From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm
di: Nadel, Alexander, et al.
Pubblicazione: (2025)

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