Finding Large Counterexamples by Selectively Exploring the Pachner Graph.

Benjamin A. Burton Alexander He

Published in: SoCG (2023)

Keyphrases

graph representation
graph structure
random walk
directed graph
structured data
strongly connected
graph mining
graph theoretic
real time
stable set
maximum clique
graph matching
boolean functions
graph properties
graph model
weighted graph
markov chain
search algorithm
data sets