Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability.
Ziliang ChenZhanfu YangPublished in: CoRR (2019)
Keyphrases
- neural network
- structured data
- graph structure
- graph theory
- real valued
- graph representation
- graphical representation
- graph theoretic
- reasoning tasks
- directed graph
- reasoning systems
- reasoning process
- weighted graph
- bipartite graph
- boolean functions
- spanning tree
- graph partitioning
- graph matching
- constraint programming
- qualitative reasoning
- automated reasoning
- random walk
- knowledge representation
- knowledge base