PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem (Q6089682)
From MaRDI portal
scientific article; zbMATH DE number 7764124
Language | Label | Description | Also known as |
---|---|---|---|
English | PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem |
scientific article; zbMATH DE number 7764124 |
Statements
13 November 2023
0 references
treedepth decomposition
0 references
elimination tree
0 references
separator
0 references
PACE 2020
0 references
PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem (English)
0 references