Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
1904.12084
Cited By

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

27 April 2019

Fei Wang

ArXiv (abs)PDF HTML

Papers citing "Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers"

6 / 6 papers shown

OCTAL: Graph Representation Learning for LTL Model Checking

OCTAL: Graph Representation Learning for LTL Model Checking

Prasita Mukherjee

200

4

0

24 Jul 2022

Enhancing SAT solvers with glue variable predictions

Enhancing SAT solvers with glue variable predictions

Jesse Michael Han

149

18

0

06 Jul 2020

Bidirectional Graph Reasoning Network for Panoptic Segmentation

Bidirectional Graph Reasoning Network for Panoptic SegmentationComputer Vision and Pattern Recognition (CVPR), 2020

Xiaodan Liang

191

59

0

14 Apr 2020

From Shallow to Deep Interactions Between Knowledge Representation,
Reasoning and Machine Learning (Kay R. Amel group)

From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)

Antoine Cornuéjols

Thierry Denoeux

Sebastien Destercke

...

Jérôme Mengin

Steven Schockaert

272

14

0

13 Dec 2019

Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability

Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability

174

5

0

25 Sep 2019

Learning Heuristics for Quantified Boolean Formulas through Deep
Reinforcement Learning

Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningInternational Conference on Learning Representations (ICLR), 2018

Sanjit A. Seshia

271

38

0

20 Jul 2018