Guiding High-Performance SAT Solvers with Unsat-Core Predictions

12 March 2019

Papers citing "Guiding High-Performance SAT Solvers with Unsat-Core Predictions"

21 / 21 papers shown

Title
Towards graph neural networks for provably solving convex optimization problems Chendi Qian Christopher Morris 59 0 0 04 Feb 2025
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models Yiwen Sun Xianyin Zhang Shiyu Huang Shaowei Cai Bing-Zhen Zhang Ke Wei 32 2 0 16 Feb 2024
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
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning Haoze Wu Christopher Hahn Florian Lonsing Makai Mann R. Ramanujan Clark W. Barrett OffRL LRM 37 1 0 18 May 2023
Denoising Diffusion for Sampling SAT Solutions Kārlis Freivalds Sergejs Kozlovics 16 2 0 30 Nov 2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 19 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
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
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks Wenxi Wang Yang Hu Mohit Tiwari S. Khurshid K. McMillan Risto Miikkulainen GNN NAI 27 6 0 26 Oct 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 6 0 19 Oct 2021
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis Feng Shi Chonghan Lee M. K. Bashar N. Shukla Song-Chun Zhu N. Vijaykrishnan NAI LRM 39 12 0 15 Jul 2021
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 37 352 0 18 Feb 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 82 53 0 15 Jan 2021
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures Kimia Azar Hadi Kamali Houman Homayoun Avesta Sasan AAML 17 43 0 04 Sep 2020
Enhancing SAT solvers with glue variable predictions Jesse Michael Han NAI AAML 16 13 0 06 Jul 2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version) Jianan Yao Gabriel Ryan Justin Wong Suman Jana Ronghui Gu AI4CE 24 49 0 17 Mar 2020
It's Not What Machines Can Learn, It's What We Cannot Teach Gal Yehuda Moshe Gabel Assaf Schuster FaML 19 37 0 21 Feb 2020
NLocalSAT: Boosting Local Search with Solution Prediction Wenjie Zhang Zeyu Sun Qihao Zhu Ge Li Shaowei Cai Yingfei Xiong Lu Zhang 14 53 0 26 Jan 2020
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 28 97 0 24 May 2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 13 38 0 20 Jul 2018
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Zhehuai Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 718 6,750 0 26 Sep 2016