G2SAT: Learning to Generate SAT Formulas

G2SAT: Learning to Generate SAT Formulas

29 October 2019

Clark W. Barrett

Papers citing "G2SAT: Learning to Generate SAT Formulas"

12 / 12 papers shown

Title
Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set Yikai Wu Haoyu Zhao Sanjeev Arora 82 0 0 05 Feb 2025
Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks Runzhong Wang Yang Li Junchi Yan Xiaokang Yang AI4CE 44 0 0 06 Sep 2024
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 34 1 0 18 May 2023
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline Yong Li Xinyan Chen Wenxuan Guo Xijun Li Wanqian Luo Jun Huang Hui-Ling Zhen M. Yuan Junchi Yan 35 17 0 04 Feb 2023
Data Imputation with Iterative Graph Reconstruction J. Zhong Weiwei Ye Ning Gui 11 12 0 06 Dec 2022
Graph Neural Networks: Taxonomy, Advances and Trends Yu Zhou Haixia Zheng Xin Huang Shufeng Hao Dengao Li Jumin Zhao AI4TS 25 116 0 16 Dec 2020
Design Space for Graph Neural Networks Jiaxuan You Rex Ying J. Leskovec GNN AI4CE 33 315 0 17 Nov 2020
A Systematic Survey on Deep Generative Models for Graph Generation Xiaojie Guo Liang Zhao MedIm 44 147 0 13 Jul 2020
Graph Structure of Neural Networks Jiaxuan You J. Leskovec Kaiming He Saining Xie GNN 27 137 0 13 Jul 2020
Can Graph Neural Networks Count Substructures? Zhengdao Chen Lei Chen Soledad Villar Joan Bruna GNN 57 319 0 10 Feb 2020
Graph Convolutional Policy Network for Goal-Directed Molecular Graph Generation Jiaxuan You Bowen Liu Rex Ying Vijay S. Pande J. Leskovec GNN 206 885 0 07 Jun 2018
Junction Tree Variational Autoencoder for Molecular Graph Generation Wengong Jin Regina Barzilay Tommi Jaakkola 224 1,340 0 12 Feb 2018