{"total":17,"rows":[{"id":"2402.10705","title":"AutoSAT: Automatically Optimize SAT Solvers via Large Language Models","created":"2024-02-16","cited_by_count":15,"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":"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.03576","title":"Clone-Robust Weights in Metric Spaces: Handling Redundancy Bias for Benchmark Aggregation","created":"2025-02-05","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":"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":"2602.08745","title":"On the Expressive Power of GNNs for Boolean Satisfiability","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2603.07176","title":"Learning to Rank the Initial Branching Order of SAT Solvers","created":"2026-03-07","cited_by_count":1,"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":"2603.04450","title":"MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering","created":"2026-02-26","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},{"id":"2604.15448","title":"Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations","created":"2026-04-16","cited_by_count":0,"area":null},{"id":"2605.04819","title":"Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs","created":"2026-05-06","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":"2607.19635","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","created":"2026-07-22","cited_by_count":0,"area":null}],"next_cursor":null}