This page shows all presentations of this author published in EasyChair Smart Slide.
A Comparison of SAT Encodings for Acyclicity of Directed Graphs
Neng-Fa Zhou, Ruiwei Wang and Roland Yap