research
∙
03/30/2023
Scalable High-Quality Hypergraph Partitioning
Balanced hypergraph partitioning is an NP-hard problem with many applica...
share
research
∙
09/13/2022
SATViz: Real-Time Visualization of Clausal Proofs
Visual layouts of graphs representing SAT instances can highlight the co...
research
∙
05/26/2022
More Recent Advances in (Hyper)Graph Partitioning
In recent years, significant advances have been made in the design and e...
research
∙
01/05/2022
Parallel Flow-Based Hypergraph Partitioning
We present a shared-memory parallelization of flow-based refinement, whi...
research
∙
06/16/2021
High-Quality Hypergraph Partitioning
This paper considers the balanced hypergraph partitioning problem, which...
research
∙
05/05/2021
Deep Multilevel Graph Partitioning
Partitioning a graph into blocks of "roughly equal" weight while cutting...
research
∙
04/16/2021
Shared-Memory n-level Hypergraph Partitioning
We present a shared-memory algorithm to compute high-quality solutions t...
research
∙
02/02/2021
Multilevel Hypergraph Partitioning with Vertex Weights Revisited
The balanced hypergraph partitioning problem (HGP) is to partition the v...
research
∙
10/20/2020
Scalable Shared-Memory Hypergraph Partitioning
Hypergraph partitioning is an important preprocessing step for optimizin...
research
∙
02/10/2018