NLocalSAT: Boosting Local Search with Solution Prediction

NLocalSAT: Boosting Local Search with Solution Prediction

26 January 2020

Papers citing "NLocalSAT: Boosting Local Search with Solution Prediction"

17 / 17 papers shown

Title
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems Qiyue Chen Shaolin Tan Suixiang Gao Jinhu Lü GNN NAI 59 0 0 16 Apr 2025
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms Jan Hůla David Mojžíšek Mikoláš Janota 33 3 0 27 Aug 2024
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability T. H. Chan Wenyi Xiao Junhua Huang Hui-Ling Zhen Guangji Tian Mingxuan Yuan 18 1 0 06 Mar 2024
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks Zhaoyu Li Jinpei Guo Xujie Si NAI 27 6 0 29 Sep 2023
Using deep learning to construct stochastic local search SAT solvers with performance bounds Maximilian Kramer Paul Boes NAI 22 0 0 20 Sep 2023
Machine Learning for SAT: Restricted Heuristics and New Graph Representations Mikhail Shirokikh Ilya Shenbin Anton M. Alekseev Sergey I. Nikolenko NAI 18 0 0 18 Jul 2023
Learning Interpretable Heuristics for WalkSAT Y. Interian S. Bernardini 18 0 0 10 Jul 2023
Addressing Variable Dependency in GNN-based SAT Solving Zhiyuan Yan Min Li Zhengyuan Shi Wenbo Zhang Ying Chen Hongce Zhang GNN 34 2 0 18 Apr 2023
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline Yongqian Li Xinyan Chen Wenxuan Guo Xijun Li Wanqian Luo Jun Huang Hui-Ling Zhen M. Yuan Junchi Yan 35 17 0 04 Feb 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 22 10 0 07 Nov 2022
SATformer: Transformer-Based UNSAT Core Learning Zhengyuan Shi Min Li Yi Liu Sadaf Khan Junhua Huang Hui-Ling Zhen M. Yuan Qiang Xu NAI 21 7 0 02 Sep 2022
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction Jan Tönshoff Berke Kisin Jakob Lindner Martin Grohe GNN 31 23 0 22 Aug 2022
DeepSAT: An EDA-Driven Learning Framework for SAT Min Li Zhengyuan Shi Qiuxia Lai Sadaf Khan Shaowei Cai Qiang Xu 17 11 0 27 May 2022
Machine Learning Methods in Solving the Boolean Satisfiability Problem Wenxuan Guo Junchi Yan Hui-Ling Zhen Xijun Li M. Yuan Yaohui Jin NAI 33 33 0 02 Mar 2022
Can Graph Neural Networks Learn to Solve MaxSAT Problem? Minghao Liu Fuqi Jia Pei Huang Fan Zhang Yuchen Sun Shaowei Cai Feifei Ma Jian Zhang GNN NAI AI4CE 27 8 0 15 Nov 2021
A Syntax-Guided Edit Decoder for Neural Program Repair Qihao Zhu Zeyu Sun Yuan-an Xiao Wenjie Zhang Kang Yuan Y. Xiong Lu Zhang KELM 29 216 0 15 Jun 2021
Generalized Equivariance and Preferential Labeling for GNN Node Classification Zeyu Sun Wenjie Zhang Lili Mou Qihao Zhu Yingfei Xiong Lu Zhang 11 12 0 23 Feb 2021