Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2001.09398
Cited By
v1
v2
v3
v4 (latest)
NLocalSAT: Boosting Local Search with Solution Prediction
International Joint Conference on Artificial Intelligence (IJCAI), 2020
26 January 2020
Wenjie Zhang
Zeyu Sun
Qihao Zhu
Ge Li
Shaowei Cai
Yingfei Xiong
Jun Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"NLocalSAT: Boosting Local Search with Solution Prediction"
17 / 17 papers shown
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
Qiyue Chen
Shaolin Tan
Suixiang Gao
Jinhu Lü
GNN
NAI
342
0
0
16 Apr 2025
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
International Conference on Information and Knowledge Management (CIKM), 2024
Jan Hůla
David Mojžíšek
Mikoláš Janota
282
7
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
248
1
0
06 Mar 2024
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li
Jinpei Guo
Xujie Si
NAI
318
16
0
29 Sep 2023
Using deep learning to construct stochastic local search SAT solvers with performance bounds
Maximilian Kramer
Paul Boes
NAI
299
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
190
1
0
18 Jul 2023
Learning Interpretable Heuristics for WalkSAT
International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023
Y. Interian
S. Bernardini
225
1
0
10 Jul 2023
Addressing Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan
Min Li
Zhengyuan Shi
Weinan Zhang
Ying Chen
Hongce Zhang
GNN
176
3
0
18 Apr 2023
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Knowledge Discovery and Data Mining (KDD), 2023
Yongqian Li
Xinyan Chen
Wenxuan Guo
Xijun Li
Wanqian Luo
Jun Huang
Hui-Ling Zhen
Mingxuan Yuan
Junchi Yan
484
23
0
04 Feb 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Neural Information Processing Systems (NeurIPS), 2022
Zhaoyu Li
X. Si
BDL
NAI
282
20
0
07 Nov 2022
SATformer: Transformer-Based UNSAT Core Learning
Zhengyuan Shi
Min Li
Yi Liu
Sadaf Khan
Junhua Huang
Hui-Ling Zhen
Mingxuan Yuan
Qiang Xu
NAI
165
23
0
02 Sep 2022
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction
International Joint Conference on Artificial Intelligence (IJCAI), 2022
Jan Tönshoff
Berke Kisin
Jakob Lindner
Martin Grohe
GNN
324
38
0
22 Aug 2022
DeepSAT: An EDA-Driven Learning Framework for SAT
Design Automation Conference (DAC), 2022
Min Li
Zhengyuan Shi
Qiuxia Lai
Sadaf Khan
Shaowei Cai
Qiang Xu
434
15
0
27 May 2022
Machine Learning Methods in Solving the Boolean Satisfiability Problem
Machine Intelligence Research (MIR), 2022
Wenxuan Guo
Junchi Yan
Hui-Ling Zhen
Xijun Li
Mingxuan Yuan
Yaohui Jin
NAI
300
49
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
221
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
Jun Liu
KELM
566
284
0
15 Jun 2021
Generalized Equivariance and Preferential Labeling for GNN Node Classification
AAAI Conference on Artificial Intelligence (AAAI), 2021
Zeyu Sun
Wenjie Zhang
Lili Mou
Qihao Zhu
Yingfei Xiong
Jun Liu
285
14
0
23 Feb 2021
1
Page 1 of 1
