Title: On the Quest for an Acyclic Graph,
Abstract: The paper aims at finding acyclic graphs under a given set of constraints.
More specifically, given a propositional formula {\phi} over edges of a
fixed-size graph, the objective is to find a model of {\phi} that corresponds
to a graph that is acyclic. The paper proposes several encodings of the problem
and compares them in an experimental evaluation using stateof-the-art SAT
solvers.