{"total":13,"rows":[{"id":"2307.08336","title":"RAYEN: Imposition of Hard Convex Constraints on Neural Networks","created":"2023-07-17","cited_by_count":30,"area":null},{"id":"2106.07162","title":"Goal-Aware Neural SAT Solver","created":"2021-06-14","cited_by_count":28,"area":null},{"id":"2208.10227","title":"One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction","created":"2022-08-22","cited_by_count":27,"area":null},{"id":"2202.08396","title":"Augment with Care: Contrastive Learning for Combinatorial Problems","created":"2022-02-17","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":"2310.00526","title":"Are Graph Neural Networks Optimal Approximation Algorithms?","created":"2023-10-01","cited_by_count":11,"area":null},{"id":"2107.07116","title":"Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis","created":"2021-07-15","cited_by_count":9,"area":null},{"id":"2210.09082","title":"A Solver-Free Framework for Scalable Learning in Neural ILP Architectures","created":"2022-10-17","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":"2202.03229","title":"Neural Models for Output-Space Invariance in Combinatorial Problems","created":"2022-02-07","cited_by_count":1,"area":null},{"id":"2408.08484","title":"An Unsupervised Learning Framework Combined with Heuristics for the Maximum Minimal Cut Problem","created":"2024-08-16","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}],"next_cursor":null}