PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth.

Published in: IPEC (2020)

Keyphrases

artificial neural networks
hidden markov models
visual attention
quantified boolean formulas
machine learning
artificial intelligence
search algorithm
special case
probabilistic model
constraint solving
constraint solver