Finding Graph Decompositions via SAT.

Wenting Zhao Mark H. Liffiton Peter Jeavons Dan Roberts

Published in: ICTAI (2017)

Keyphrases

graph theory
graph structure
neural network
connected components
graph model
maximum clique
structured data
directed graph
phase transition
weighted graph
strongly connected
search strategies
satisfiability problem
randomly generated