Mycielski Graphs and PR Proofs.

Emre Yolcu Xinyu Wu Marijn J. H. Heule

Published in: SAT (2020)

Keyphrases

structured objects
graph matching
theorem prover
graph theory
data sets
undirected graph
theorem proving
bipartite graph
information systems
machine learning
graph partitioning
graph representation
graph theoretic
graph construction
graph structures
database
mathematical proofs