NSNet: A General Neural Probabilistic Framework for Satisfiability Problems

7 November 2022

Papers citing "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"

10 / 10 papers shown

Title
Neural Approaches to SAT Solving: Design Choices and Interpretability David Mojžíšek Jan Hůla Ziwei Li Ziyu Zhou Mikoláš Janota AAML NAI 31 0 0 01 Apr 2025
Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set Yikai Wu Haoyu Zhao Sanjeev Arora 82 0 0 05 Feb 2025
DISCO: Efficient Diffusion Solver for Large-Scale Combinatorial Optimization Problems Kexiong Yu Hang Zhao Yuhang Huang Renjiao Yi Kai Xu Chenyang Zhu 46 0 0 28 Jun 2024
A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks Yaochu Jin Xueming Yan Shiqing Liu Xiangyu Wang 49 3 0 19 Jun 2024
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets Panagiotis Lymperopoulos Liping Liu 38 0 0 19 Feb 2024
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models Yiwen Sun Xianyin Zhang Shiyu Huang Shaowei Cai Bing-Zhen Zhang Ke Wei 29 2 0 16 Feb 2024
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem Abdelrahman I. Hosny Sherief Reda 11 1 0 06 Feb 2024
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks Zhaoyu Li Jinpei Guo Xujie Si NAI 11 5 0 29 Sep 2023
Equivariant Neural Network for Factor Graphs Fan-Yun Sun Jonathan Kuck Hao Tang Stefano Ermon 19 1 0 29 Sep 2021
Neural Enhanced Belief Propagation on Factor Graphs Victor Garcia Satorras Max Welling 30 95 0 04 Mar 2020