Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1802.03685
Cited By
v1
v2
v3
v4 (latest)
Learning a SAT Solver from Single-Bit Supervision
11 February 2018
Daniel Selsam
Matthew Lamm
Benedikt Bünz
Abigail Z. Jacobs
L. D. Moura
D. Dill
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning a SAT Solver from Single-Bit Supervision"
50 / 257 papers shown
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
Xijun Li
Fangzhou Zhu
Hui-Ling Zhen
Weilin Luo
Meng Lu
...
Jia Zeng
Mingxuan Yuan
Jianye Hao
Jun Yao
Kun Mao
332
6
0
11 Jan 2024
General Method for Solving Four Types of SAT Problems
Anqi Li
Congying Han
Tiande Guo
Haoran Li
Bonan li
184
4
0
27 Dec 2023
Learning Lagrangian Multipliers for the Travelling Salesman Problem
Augustin Parjadis
Quentin Cappart
B. Dilkina
Aaron Ferber
Louis-Martin Rousseau
173
2
0
22 Dec 2023
NN-Steiner: A Mixed Neural-algorithmic Approach for the Rectilinear Steiner Minimum Tree Problem
Andrew B. Kahng
Robert Nerem
Yusu Wang
Chien-Yi Yang
306
13
0
17 Dec 2023
Assessing SATNet's Ability to Solve the Symbol Grounding Problem
Neural Information Processing Systems (NeurIPS), 2023
Oscar Chang
Lampros Flokas
Hod Lipson
Michael Spranger
NAI
187
24
0
13 Dec 2023
Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
Haoyang Liu
Yufei Kuang
Jie Wang
Xijun Li
Yongdong Zhang
Feng Wu
AAML
205
15
0
22 Oct 2023
Equivariant Deep Weight Space Alignment
Aviv Navon
Aviv Shamsian
Ethan Fetaya
Gal Chechik
Nadav Dym
Haggai Maron
376
29
0
20 Oct 2023
Optimizing Solution-Samplers for Combinatorial Problems: The Landscape of Policy-Gradient Methods
Neural Information Processing Systems (NeurIPS), 2023
Constantine Caramanis
Eleni Psaroudaki
Alkis Kalavasis
Vasilis Kontonis
Christos Tzamos
306
5
0
08 Oct 2023
Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models
Man Luo
Shrinidhi Kumbhar
Ming shen
Mihir Parmar
Neeraj Varshney
Pratyay Banerjee
Somak Aditya
Chitta Baral
ReLM
ELM
LRM
419
43
0
02 Oct 2023
Are Graph Neural Networks Optimal Approximation Algorithms?
Neural Information Processing Systems (NeurIPS), 2023
Morris Yau
Eric Lu
Nikolaos Karalias
Jessica Xu
Stefanie Jegelka
701
14
0
01 Oct 2023
Controlling Continuous Relaxation for Combinatorial Optimization
Neural Information Processing Systems (NeurIPS), 2023
Yuma Ichikawa
428
13
0
29 Sep 2023
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li
Jinpei Guo
Xujie Si
NAI
207
12
0
29 Sep 2023
SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning
Julian Minder
Florian Grötschla
Joël Mathys
Roger Wattenhofer
262
12
0
21 Sep 2023
Using deep learning to construct stochastic local search SAT solvers with performance bounds
Maximilian Kramer
Paul Boes
NAI
198
0
0
20 Sep 2023
Finding Influencers in Complex Networks: An Effective Deep Reinforcement Learning Approach
Computer/law journal (JITPL), 2023
Changan Liu
Changjun Fan
Zhongzhi Zhang
GNN
71
6
0
09 Sep 2023
Accelerating Exact Combinatorial Optimization via RL-based Initialization -- A Case Study in Scheduling
Jiaqi Yin
Cunxi Yu
100
4
0
19 Aug 2023
Machine Learning for SAT: Restricted Heuristics and New Graph Representations
Mikhail Shirokikh
Ilya Shenbin
Anton M. Alekseev
Sergey I. Nikolenko
NAI
157
1
0
18 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators
International Conference on Machine Learning (ICML), 2023
Zhun Yang
Joohyung Lee
Chi-youn Park
190
25
0
10 Jul 2023
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks
Expert systems with applications (ESWA), 2023
Saidul Islam
Hanae Elmekki
Ahmed Elsebai
Jamal Bentahar
Najat Drawel
Gaith Rjoub
Witold Pedrycz
ViT
MedIm
244
375
0
11 Jun 2023
TreeDQN: Learning to minimize Branch-and-Bound tree
Dmitry Sorokin
A. Kostin
176
1
0
09 Jun 2023
Learning-Based Heuristic for Combinatorial Optimization of the Minimum Dominating Set Problem using Graph Convolutional Networks
Abihith Kothapalli
Mudassir Shabbir
X. Koutsoukos
GNN
78
1
0
06 Jun 2023
Towards Omni-generalizable Neural Methods for Vehicle Routing Problems
International Conference on Machine Learning (ICML), 2023
Jianan Zhou
Yaoxin Wu
Wen Song
Zhiguang Cao
Jie Zhang
257
79
0
31 May 2023
Let the Flows Tell: Solving Graph Combinatorial Optimization Problems with GFlowNets
Dinghuai Zhang
H. Dai
Nikolay Malkin
Aaron Courville
Yoshua Bengio
L. Pan
292
44
0
26 May 2023
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Yuan Yang
Siheng Xiong
Ali Payani
Ehsan Shareghi
Faramarz Fekri
LRM
152
75
0
24 May 2023
Addressing Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan
Min Li
Zhengyuan Shi
Weinan Zhang
Ying Chen
Hongce Zhang
GNN
122
2
0
18 Apr 2023
Neural Algorithmic Reasoning with Causal Regularisation
International Conference on Machine Learning (ICML), 2023
Beatrice Bevilacqua
Kyriacos Nikiforou
Borja Ibarz
Ioana Bica
Michela Paganini
Charles Blundell
Jovana Mitrović
Petar Velivcković
OOD
CML
NAI
400
35
0
20 Feb 2023
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems
Hod Wirzberger
Assaf Kalinski
Idan Meirzada
H. Primack
Yaniv Romano
Chene Tradonsky
Ruti Ben-shlomi
180
2
0
14 Feb 2023
Generalization in Graph Neural Networks: Improved PAC-Bayesian Bounds on Graph Diffusion
International Conference on Artificial Intelligence and Statistics (AISTATS), 2023
Haotian Ju
Dongyue Li
Aneesh Sharma
Hongyang R. Zhang
291
48
0
09 Feb 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
400
22
0
04 Feb 2023
Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
International Conference on Machine Learning (ICML), 2023
Taoan Huang
Aaron Ferber
Yuandong Tian
B. Dilkina
Benoit Steiner
208
43
0
03 Feb 2023
W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
Weihuang Wen
Tianshu Yu
177
3
0
01 Feb 2023
Transformers Meet Directed Graphs
International Conference on Machine Learning (ICML), 2023
Simon Geisler
Yujia Li
D. Mankowitz
A. Cemgil
Stephan Günnemann
Cosmin Paduraru
336
48
0
31 Jan 2023
A Structural Approach to the Design of Domain Specific Neural Network Architectures
Gerrit Nolte
145
0
0
23 Jan 2023
Unsupervised Learning for Combinatorial Optimization Needs Meta-Learning
International Conference on Learning Representations (ICLR), 2023
Hao Wang
Pan Li
200
20
0
08 Jan 2023
Learning Graph Algorithms With Recurrent Graph Neural Networks
Florian Grötschla
Joël Mathys
Roger Wattenhofer
GNN
128
6
0
09 Dec 2022
Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma
AAAI Conference on Artificial Intelligence (AAAI), 2022
Nan Jiang
Yi Gu
Yexiang Xue
282
1
0
01 Dec 2022
Denoising Diffusion for Sampling SAT Solutions
Kārlis Freivalds
Sergejs Kozlovics
156
3
0
30 Nov 2022
Learning Branching Heuristics from Graph Neural Networks
Congsong Zhang
Yong Gao
James Nastos
GNN
AI4CE
88
0
0
26 Nov 2022
Arbitrarily Large Labelled Random Satisfiability Formulas for Machine Learning Training
D. Achlioptas
Amrit Daswaney
Periklis A. Papakonstantinou
NAI
BDL
137
0
0
21 Nov 2022
Path Independent Equilibrium Models Can Better Exploit Test-Time Computation
Neural Information Processing Systems (NeurIPS), 2022
Cem Anil
Ashwini Pokle
Kaiqu Liang
Johannes Treutlein
Yuhuai Wu
Shaojie Bai
Zico Kolter
Roger C. Grosse
158
22
0
18 Nov 2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Neural Information Processing Systems (NeurIPS), 2022
Zhaoyu Li
X. Si
BDL
NAI
206
19
0
07 Nov 2022
A Survey on Influence Maximization: From an ML-Based Combinatorial Optimization
ACM Transactions on Knowledge Discovery from Data (TKDD), 2022
Yandi Li
Haobo Gao
Yunxuan Gao
Jianxiong Guo
Weili Wu
290
64
0
06 Nov 2022
Explaining the Explainers in Graph Neural Networks: a Comparative Study
ACM Computing Surveys (ACM CSUR), 2022
Antonio Longa
Steve Azzolin
G. Santin
G. Cencetti
Pietro Lio
Bruno Lepri
Baptiste Caramiaux
342
46
0
27 Oct 2022
Learning Feasibility of Factored Nonlinear Programs in Robotic Manipulation Planning
IEEE International Conference on Robotics and Automation (ICRA), 2022
Joaquim Ortiz de Haro
Jung-Su Ha
Danny Driess
E. Karpas
Marc Toussaint
248
2
0
22 Oct 2022
Graphically Structured Diffusion Models
International Conference on Machine Learning (ICML), 2022
Christian D. Weilbach
William Harvey
Frank Wood
DiffM
267
8
0
20 Oct 2022
A Solver-Free Framework for Scalable Learning in Neural ILP Architectures
Neural Information Processing Systems (NeurIPS), 2022
Yatin Nandwani
Rishabh Ranjan
Mausam
Parag Singla
140
10
0
17 Oct 2022
Towards Better Generalization with Flexible Representation of Multi-Module Graph Neural Networks
Hyungeun Lee
Kijung Yoon
AI4CE
204
2
0
14 Sep 2022
A Neural Network-based SAT-Resilient Obfuscation Towards Enhanced Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD), 2022
Rakibul Hassan
Gaurav Kolhe
S. Rafatirad
Houman Homayoun
Sai Manoj P D
AAML
90
11
0
13 Sep 2022
Structured Q-learning For Antibody Design
Alexander I. Cowen-Rivers
P. Gorinski
Aivar Sootla
Asif R. Khan
Liu Furui
Jun Wang
Jan Peters
H. Ammar
OffRL
OnRL
238
5
0
10 Sep 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
118
14
0
02 Sep 2022
Previous
1
2
3
4
5
6
Next
