{"total":22,"rows":[{"id":"2211.03880","title":"NSNet: A General Neural Probabilistic Framework for Satisfiability Problems","created":"2022-11-07","cited_by_count":18,"area":null},{"id":"2309.16941","title":"G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks","created":"2023-09-29","cited_by_count":18,"area":null},{"id":"2407.13917","title":"LinSATNet: The Positive Linear Satisfiability Neural Networks","created":"2024-07-18","cited_by_count":16,"area":null},{"id":"2209.00953","title":"SATformer: Transformer-Based UNSAT Core Learning","created":"2022-09-02","cited_by_count":14,"area":null},{"id":"2302.02104","title":"HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline","created":"2023-02-04","cited_by_count":12,"area":null},{"id":"2401.05960","title":"Machine Learning Insides OptVerse AI Solver: Design Principles and Applications","created":"2024-01-11","cited_by_count":7,"area":null},{"id":"2403.13838","title":"Circuit Transformer: A Transformer That Preserves Logical Equivalence","created":"2024-03-14","cited_by_count":5,"area":null},{"id":"2405.11024","title":"GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection","created":"2024-05-17","cited_by_count":5,"area":null},{"id":"2302.00272","title":"W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs","created":"2023-02-01","cited_by_count":3,"area":null},{"id":"2402.15524","title":"Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets","created":"2024-02-19","cited_by_count":2,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2502.11410","title":"Structure based SAT dataset for analysing GNN generalisation","created":"2025-02-17","cited_by_count":1,"area":null},{"id":"2504.11885","title":"HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems","created":"2025-04-16","cited_by_count":1,"area":null},{"id":"2507.01825","title":"MILP-SAT-GNN: Yet Another Neural SAT Solver","created":"2025-07-02","cited_by_count":1,"area":null},{"id":"2511.07737","title":"TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System","created":"2025-11-11","cited_by_count":1,"area":null},{"id":"2511.08315","title":"BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning","created":"2025-11-11","cited_by_count":1,"area":null},{"id":"2602.08745","title":"On the Expressive Power of GNNs for Boolean Satisfiability","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2307.04608","title":"Learning Interpretable Heuristics for WalkSAT","created":"2023-07-10","cited_by_count":0,"area":null},{"id":"2309.03924","title":"Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time Limits","created":"2023-09-07","cited_by_count":0,"area":null},{"id":"2309.11452","title":"Using deep learning to construct stochastic local search SAT solvers with performance bounds","created":"2023-09-20","cited_by_count":0,"area":null},{"id":"2312.06877","title":"A Novel Differentiable Loss Function for Unsupervised Graph Neural Networks in Graph Partitioning","created":"2023-12-11","cited_by_count":0,"area":null},{"id":"2604.09001","title":"Hypergraph Neural Networks Accelerate MUS Enumeration","created":"2026-04-10","cited_by_count":0,"area":null}],"next_cursor":null}