Skip to main content

On the Quest for an Acyclic Graph

Mikolas, Janota, Radu, Grigore, Vasco, Manquinho (2017) On the Quest for an Acyclic Graph. In: 24th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion", 14-15 Nov 2017, Bari, Italy. (Unpublished) (KAR id:67090)

PDF Author's Accepted Manuscript
Language: English
Download (299kB) Preview


The paper aims at finding acyclic graphs under a given set of

? over edges of a fixed-size graph, the objective is to find a model of

problem and compares them in an experimental evaluation using stateof-the-art

SAT solvers.

Item Type: Conference or workshop item (Paper)
Divisions: Faculties > Sciences > School of Computing
Depositing User: Radu Grigore
Date Deposited: 18 May 2018 13:59 UTC
Last Modified: 29 May 2019 20:34 UTC
Resource URI: (The current URI for this page, for reference purposes)
Radu, Grigore:
  • Depositors only (login required):


Downloads per month over past year