{"total":25,"rows":[{"id":"2203.04755","title":"Machine Learning Methods in Solving the Boolean Satisfiability Problem","created":"2022-03-02","cited_by_count":22,"area":null},{"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":"2310.00526","title":"Are Graph Neural Networks Optimal Approximation Algorithms?","created":"2023-10-01","cited_by_count":11,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2510.24039","title":"Geometric Algorithms for Neural Combinatorial Optimization with Constraints","created":"2025-10-28","cited_by_count":4,"area":null},{"id":"2304.08738","title":"Addressing Variable Dependency in GNN-based SAT Solving","created":"2023-04-18","cited_by_count":3,"area":null},{"id":"2504.01173","title":"Neural Approaches to SAT Solving: Design Choices and Interpretability","created":"2025-04-01","cited_by_count":2,"area":null},{"id":"2601.09921","title":"Learning to Decode in Parallel: Self-Coordinating Neural Network for Real-Time Quantum Error Correction","created":"2026-01-14","cited_by_count":2,"area":null},{"id":"2602.18419","title":"Benchmarking Graph Neural Networks in Solving Hard Constraint Satisfaction Problems","created":"2026-02-20","cited_by_count":2,"area":null},{"id":"2402.08365","title":"Learning Better Representations From Less Data For Propositional Satisfiability","created":"2024-02-13","cited_by_count":1,"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":"2602.08745","title":"On the Expressive Power of GNNs for Boolean Satisfiability","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2307.09141","title":"Machine Learning for SAT: Restricted Heuristics and New Graph Representations","created":"2023-07-18","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":"2403.09742","title":"A short review on the maximum clique problem algorithms with classical, AI, and quantum methods","created":"2024-03-13","cited_by_count":0,"area":null},{"id":"2508.21513","title":"A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers","created":"2025-08-29","cited_by_count":0,"area":null},{"id":"2510.15583","title":"Attn-JGNN: Attention Enhanced Join-Graph Neural Networks","created":"2025-10-17","cited_by_count":0,"area":null},{"id":"2605.06931","title":"Target-Aware Data Augmentation for SAT Prediction","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2610.18649","title":"Tiny Recursive Message Passing","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}