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

    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references