A Comparison of SAT Encodings for Acyclicity of Directed Graphs.

Neng-Fa Zhou Ruiwei Wang Roland H. C. Yap

Published in: SAT (2023)

Keyphrases

directed graph
random walk
sat encodings
directed acyclic graph
undirected graph
graph structure
graph structures
genetic algorithm
sat solvers