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"

11 / 11 papers shown

Title
Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set Yikai Wu Haoyu Zhao Sanjeev Arora 77 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 37 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 26 1 0 18 May 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 19 17 0 04 Feb 2023
Graph Neural Networks: Taxonomy, Advances and Trends Yu Zhou Haixia Zheng Xin Huang Shufeng Hao Dengao Li Jumin Zhao AI4TS 23 113 0 16 Dec 2020
Design Space for Graph Neural Networks Jiaxuan You Rex Ying J. Leskovec GNN AI4CE 17 315 0 17 Nov 2020
A Systematic Survey on Deep Generative Models for Graph Generation Xiaojie Guo Liang Zhao MedIm 31 145 0 13 Jul 2020
Graph Structure of Neural Networks Jiaxuan You J. Leskovec Kaiming He Saining Xie GNN 19 136 0 13 Jul 2020
Can Graph Neural Networks Count Substructures? Zhengdao Chen Lei Chen Soledad Villar Joan Bruna GNN 37 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 189 885 0 07 Jun 2018
Junction Tree Variational Autoencoder for Molecular Graph Generation Wengong Jin Regina Barzilay Tommi Jaakkola 219 1,332 0 12 Feb 2018