Searching for Smallest Universal Graphs and Tournaments with SAT.

Tianwei Zhang Stefan Szeider

Published in: CP (2023)

Keyphrases

undirected graph
directed graph
graph structure
search strategies
sat solvers
satisfiability problem
sat problem
graph structures
neural network
search algorithm
constraint satisfaction problems
graph matching
propositional logic