Computing Tree Decompositions with FlowCutter: PACE 2017 Submission
Not on the map. Why?
Abstract (arXiv)
We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree decomposition and parameterized complexity theory.
Key facts. Cited by 7 papers in the map (data through 7 Oct 2026). First posted on arXiv 26 Sep 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 3; 2023: 1; 2024: 1; 2025: 0; 2026: 2.
7 papers.
- 2022DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solvingcited by 3
- 2023SharpSAT-TD in Model Counting Competitions 2021-2023cited by 3
- 2024Model Counting in the Wildcited by 2
- 2022DPO: Dynamic-Programming Optimization on Hybrid Constraintscited by 1
- 2022DPER: Dynamic Programming for Exist-Random Stochastic SATcited by 0
- 2026Algorithmic algorithm development with LLMs: A Case Study on LLM-Usage for Contraction Order Optimization in Tensor Networkscited by 0
- 2026Learning to Rank Tensor Network Contraction Plans for GPU-Accelerated Quantum Circuit Simulationcited by 0
- 2026Learning to Rank Tensor Network Contraction Plans for GPU-Accelerated Quantum Circuit Simulation6 Aug 2026
- 2026Algorithmic algorithm development with LLMs: A Case Study on LLM-Usage for Contraction Order Optimization in Tensor Networks1 Jun 2026
- 2024Model Counting in the Wild13 Aug 2024
- 2023SharpSAT-TD in Model Counting Competitions 2021-202330 Aug 2023
- 2022DPER: Dynamic Programming for Exist-Random Stochastic SAT19 May 2022
- 2022DPO: Dynamic-Programming Optimization on Hybrid Constraints17 May 2022
- 2022DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving8 May 2022