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
[img]
Preview

Abstract

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: https://kar.kent.ac.uk/id/eprint/67090 (The current URI for this page, for reference purposes)
Radu, Grigore: https://orcid.org/0000-0003-1128-0311
  • Depositors only (login required):

Downloads

Downloads per month over past year