1

Computing Optimal Hypertree Decompositions
PDF Cite Project
Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem
PDF Cite
Distributing Battery Swapping Stations for Electric Scooters in an Urban Area
PDF Cite DOI
Exploiting Similar Behavior of Users in a Cooperative Optimization Approach for Distributing Service Points in Mobility Applications
PDF Cite
Extending Nearly Complete 1-Planar Drawings in Polynomial Time
PDF Cite Project DOI
Extending Partial 1-Planar Drawings
PDF Cite Project DOI
First-Order Model-Checking in Random Graphs and Complex Networks
PDF Cite
FixCon: A Generic Solver for Fixed-Cardinality Subgraph Problems
PDF Cite DOI
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
PDF Cite Project Project Project Project
Formalizing Graph Trail Properties in Isabelle/HOL
PDF Cite Project Project