PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem.

Published in: IPEC (2020)

Keyphrases

tree search
search algorithm
relational databases
database
high level
dynamic programming
constraint solving
machine learning
website
decision trees
case study
optimal solution
constraint satisfaction
greedy heuristic
jigsaw puzzle
real time search algorithms