{"total":16,"rows":[{"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":"2402.10705","title":"AutoSAT: Automatically Optimize SAT Solvers via Large Language Models","created":"2024-02-16","cited_by_count":15,"area":null},{"id":"2406.19705","title":"DISCO: Efficient Diffusion Solver for Large-Scale Combinatorial Optimization Problems","created":"2024-06-28","cited_by_count":11,"area":null},{"id":"2406.13125","title":"A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks","created":"2024-06-19","cited_by_count":5,"area":null},{"id":"2402.03640","title":"torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem","created":"2024-02-06","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":"2503.01817","title":"Gradient-Based Optimization on G\\\"odel Logic as Discrete Local Search","created":"2025-03-03","cited_by_count":2,"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":"2510.20607","title":"Generalizable Reasoning through Compositional Energy Minimization","created":"2025-10-23","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":"2502.11410","title":"Structure based SAT dataset for analysing GNN generalisation","created":"2025-02-17","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":"2510.15583","title":"Attn-JGNN: Attention Enhanced Join-Graph Neural Networks","created":"2025-10-17","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":"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}],"next_cursor":null}