search result

Cover von Computer-aided reasoning
an approach
Author: Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother Search for this author
Year: 2000
Publisher: Boston, Kluwer
Series: Advances in formal methods; 3
Media group: MONOGRAPHIE
Cover von Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Year: 2024
Media group: LIPIcs
Cover von Graph-Theoretic Concepts in Computer Science
48th International Workshop, WG 2022, Tübingen, Germany, June 22 - 24, 2022, Revised Selected Papers
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13453
Media group: MONOGRAPHIE
Cover von Approximation Algorithms for Min-Distance Problems in DAGs

Approximation Algorithms for Min-Distance Problems in DAGs

Year: 2021
Media group: LIPIcs
Cover von On Compact RAC Drawings

On Compact RAC Drawings

Year: 2020
Media group: LIPIcs
Cover von Applications of Evolutionary Computation
21st International Conference, EvoApplications 2018, Parma, Italy, April 4 - 6, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10784
Media group: MONOGRAPHIE
Cover von Unsatisfiability-based optimization in clasp

Unsatisfiability-based optimization in clasp

Year: 2012
Media group: ARTICLE
Cover von Graph drawing
14th international symposium, Karlsruhe, Germany, September 18 - 20, 2006, revised papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4372
Media group: MONOGRAPHIE
Cover von Drawing graphs
methods and models
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2025
Media group: MONOGRAPHIE
Cover von Geometric Routing in Geometric Inhomogeneous Random Graphs

Geometric Routing in Geometric Inhomogeneous Random Graphs

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0