Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025433012> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2025433012 endingPage "27" @default.
- W2025433012 startingPage "1" @default.
- W2025433012 abstract "A directed acyclic graph (DAG) is upward planar if it can be drawn without any crossings while all edges—when following them in their direction—are drawn with strictly monotonously increasing y -coordinates. Testing whether a graph allows such a drawing is known to be NP-complete, and while the problem is polynomial-time solvable for special graph classes, there is not much known about solving the problem for general graphs in practice . The only attempt so far has been a branch-and-bound algorithm over the graph’s triconnectivity structure, which was able to solve small graphs. Furthermore, there are some known FPT algorithms to deal with the problem. In this article, we propose two fundamentally different approaches based on the seemingly novel concept of ordered embeddings and on the concept of a Hanani-Tutte-type characterization of monotone drawings. In both approaches, we model the problem as special SAT instances, that is, logic formulae for which we check satisfiability. Solving these SAT instances allows us to decide upward planarity for arbitrary graphs. For the first time, we give an extensive experimental comparison between virtually all known approaches to the problem. To this end, we also investigate implementation issues and different variants of the known algorithms as well as of our SAT approaches and evaluate all algorithms on real-world as well as on constructed instances. We also give a detailed performance study of the novel SAT approaches. We show that the SAT formulations outperform all known approaches for graphs with up to 400 edges. For even larger graphs, a modified branch-and-bound algorithm becomes competitive." @default.
- W2025433012 created "2016-06-24" @default.
- W2025433012 creator A5027588029 @default.
- W2025433012 creator A5044475263 @default.
- W2025433012 date "2015-04-22" @default.
- W2025433012 modified "2023-10-05" @default.
- W2025433012 title "Upward Planarity Testing in Practice" @default.
- W2025433012 cites W1493561550 @default.
- W2025433012 cites W1494545756 @default.
- W2025433012 cites W1509009144 @default.
- W2025433012 cites W1966020295 @default.
- W2025433012 cites W1985050272 @default.
- W2025433012 cites W1987374783 @default.
- W2025433012 cites W2005080287 @default.
- W2025433012 cites W2018091581 @default.
- W2025433012 cites W2035308537 @default.
- W2025433012 cites W2055127468 @default.
- W2025433012 cites W2067715601 @default.
- W2025433012 cites W2068742694 @default.
- W2025433012 cites W2072768137 @default.
- W2025433012 cites W2095981233 @default.
- W2025433012 cites W2100810364 @default.
- W2025433012 cites W2115181545 @default.
- W2025433012 cites W2170051791 @default.
- W2025433012 cites W2256764931 @default.
- W2025433012 doi "https://doi.org/10.1145/2699875" @default.
- W2025433012 hasPublicationYear "2015" @default.
- W2025433012 type Work @default.
- W2025433012 sameAs 2025433012 @default.
- W2025433012 citedByCount "6" @default.
- W2025433012 countsByYear W20254330122016 @default.
- W2025433012 countsByYear W20254330122018 @default.
- W2025433012 countsByYear W20254330122020 @default.
- W2025433012 countsByYear W20254330122022 @default.
- W2025433012 countsByYear W20254330122023 @default.
- W2025433012 crossrefType "journal-article" @default.
- W2025433012 hasAuthorship W2025433012A5027588029 @default.
- W2025433012 hasAuthorship W2025433012A5044475263 @default.
- W2025433012 hasConcept C101837359 @default.
- W2025433012 hasConcept C11413529 @default.
- W2025433012 hasConcept C114614502 @default.
- W2025433012 hasConcept C118615104 @default.
- W2025433012 hasConcept C132525143 @default.
- W2025433012 hasConcept C168773769 @default.
- W2025433012 hasConcept C2524010 @default.
- W2025433012 hasConcept C2834757 @default.
- W2025433012 hasConcept C311688 @default.
- W2025433012 hasConcept C33923547 @default.
- W2025433012 hasConcept C41008148 @default.
- W2025433012 hasConcept C68260962 @default.
- W2025433012 hasConcept C6943359 @default.
- W2025433012 hasConcept C74197172 @default.
- W2025433012 hasConcept C80444323 @default.
- W2025433012 hasConceptScore W2025433012C101837359 @default.
- W2025433012 hasConceptScore W2025433012C11413529 @default.
- W2025433012 hasConceptScore W2025433012C114614502 @default.
- W2025433012 hasConceptScore W2025433012C118615104 @default.
- W2025433012 hasConceptScore W2025433012C132525143 @default.
- W2025433012 hasConceptScore W2025433012C168773769 @default.
- W2025433012 hasConceptScore W2025433012C2524010 @default.
- W2025433012 hasConceptScore W2025433012C2834757 @default.
- W2025433012 hasConceptScore W2025433012C311688 @default.
- W2025433012 hasConceptScore W2025433012C33923547 @default.
- W2025433012 hasConceptScore W2025433012C41008148 @default.
- W2025433012 hasConceptScore W2025433012C68260962 @default.
- W2025433012 hasConceptScore W2025433012C6943359 @default.
- W2025433012 hasConceptScore W2025433012C74197172 @default.
- W2025433012 hasConceptScore W2025433012C80444323 @default.
- W2025433012 hasLocation W20254330121 @default.
- W2025433012 hasOpenAccess W2025433012 @default.
- W2025433012 hasPrimaryLocation W20254330121 @default.
- W2025433012 hasRelatedWork W1519201794 @default.
- W2025433012 hasRelatedWork W1561517399 @default.
- W2025433012 hasRelatedWork W1565030492 @default.
- W2025433012 hasRelatedWork W1968692677 @default.
- W2025433012 hasRelatedWork W2025433012 @default.
- W2025433012 hasRelatedWork W2765687715 @default.
- W2025433012 hasRelatedWork W2894780622 @default.
- W2025433012 hasRelatedWork W2949221776 @default.
- W2025433012 hasRelatedWork W2963779915 @default.
- W2025433012 hasRelatedWork W4514142 @default.
- W2025433012 hasVolume "20" @default.
- W2025433012 isParatext "false" @default.
- W2025433012 isRetracted "false" @default.
- W2025433012 magId "2025433012" @default.
- W2025433012 workType "article" @default.