On the Quest for an Acyclic Graph
| Autor: | Mikoláš Janota, Grigore, R., Manquinho, V. |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | CIÊNCIAVITAE Scopus-Elsevier |
| DOI: | 10.48550/arxiv.1708.01745 |
| Popis: | 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. Comment: RCRA2017 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|