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 fixedsize 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 stateoftheart SAT solvers.
 Publication:

arXiv eprints
 Pub Date:
 August 2017
 arXiv:
 arXiv:1708.01745
 Bibcode:
 2017arXiv170801745J
 Keywords:

 Computer Science  Logic in Computer Science
 EPrint:
 RCRA2017