Research Tools & Interactive Demonstrators

The Algorithms and Complexity Group develops open-source software tools, algorithmic libraries, and interactive web demonstrators to visualize complex structures, benchmark algorithmic methods, and facilitate reproducible research.

🌐 Network & Graph Visualization

Interactive tools exploring novel network layout paradigms, tree decompositions, and phylogenetic visualizations:

  • Archie
    Interactive architecture diagram and graph visualizer. Hosted on Pod2.
  • Dagstuhl Co-Authorship Network Visualizer
    Explore co-authorship patterns and structural clusters in Dagstuhl seminar publications. Hosted on Pod2.
  • Hive Plots Visualizer
    Visualizing complex networks with deterministic, structure-preserving Hive Plots. Hosted on Pod2.
  • Visualizing Treewidth
    Interactive tool for visualizing graph tree decompositions and treewidth metrics. Hosted on Pod2.
  • Paged Geophylogenies
    Geographical phylogenetic tree visualizer embedding evolutionary trees on geographic maps. Hosted on Pod2.
  • Two-Sided Circular Layouts
    Algorithmic technique for enhancing circular graph drawings by routing edges in the outer face.
  • Partial Edge Drawings (PED)
    Graph drawing style that removes edge clutter by drawing only partial opposing stubs.

🗺️ Computational Geometry & Label Placement

Algorithms and demonstrators for automated map labeling, geometric boundary layouts, and graph drawings:

  • Area Boundary Labeling
    Interactive demonstration of boundary labeling algorithms for spatial regions and geographic features.

⚡ Constraint Satisfaction & SAT Solving

High-performance algorithms, parameterized solvers, and QBF reasoning tools:

  • ParamSAT
    Tools and solvers for Parameterized SAT Solving.
  • Qute
    A conflict-driven, dependency-learning solver for Quantified Boolean Formulas (QBF).
  • Branchlis
    A branch-and-reduce solver for the Maximum Weight Independent Set problem.
  • FraSMT
    A framework for translating fractional hypergraph decomposition into Satisfiability Modulo Theories (SMT).

🗳️ Computational Social Choice

  • Voting Rule Demonstrator
    Interactive visual platform for analyzing voting rules, multi-winner elections, and preference aggregations. Hosted on Pod2.

✏️ Drawing & Semantic Tools

Ipe Drawing & Presentation Guide
Templates, ipelets, color utilities, and workflow tips for the Ipe extensible vector graphics editor.
Oct 1, 2021
Partial Edge Drawings (PED)
A drawing style for non-planar graphs where edges are drawn only partially as pairs of opposing stubs to reduce visual clutter.
Aug 1, 2019
Two-Sided Circular Layouts
An algorithmic technique for enhancing circular graph drawings by routing a crossing-minimal set of edges in the outer face.
Jun 1, 2018
Two-Sided Circular Layouts