A Comparison of SAT Encodings for Acyclicity of Directed Graphs.

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

Browse the full SAT paper archive.