Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1909.11588
Cited By
Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability
25 September 2019
Ziliang Chen
Zhanfu Yang
NAI
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability"
1 / 1 papers shown
Title
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
1
