PACE Solver Description: Sallow: A Heuristic Algorithm for Treedepth Decompositions.

Published in: IPEC (2020)

Keyphrases

high level
machine learning
information retrieval
genetic algorithm
learning algorithm
information systems
e learning
user interface
tree search
quantified boolean formulas