Goal-Aware Neural SAT Solver

Goal-Aware Neural SAT Solver

14 June 2021

Emīls Ozoliņš

Kārlis Freivalds

Ronalds Zakovskis

Sergejs Kozlovics

Papers citing "Goal-Aware Neural SAT Solver"

10 / 10 papers shown

Title
LinSATNet: The Positive Linear Satisfiability Neural Networks Runzhong Wang Yunhao Zhang Ziao Guo Tianyi Chen Xiaokang Yang Junchi Yan 29 16 0 18 Jul 2024
A Short Review on Novel Approaches for Maximum Clique Problem: from Classical algorithms to Graph Neural Networks and Quantum algorithms Raffaele Marino L. Buffoni Bogdan Zavalnij GNN 40 5 0 13 Mar 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
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline Y. Li Xinyan Chen Wenxuan Guo Xijun Li Wanqian Luo Jun Huang Hui-Ling Zhen M. Yuan Junchi Yan 27 17 0 04 Feb 2023
Shared SAT Solvers and SAT Memory in Distributed Business Applications Sergejs Kozlovics 14 0 0 24 Jan 2023
Denoising Diffusion for Sampling SAT Solutions Kārlis Freivalds Sergejs Kozlovics 13 2 0 30 Nov 2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 9 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 13 7 0 02 Sep 2022
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 6 0 19 Oct 2021
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 32 347 0 18 Feb 2021