@misc{indiciae383be217afe8,
  title = {PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth},
  author = {James Trimble},
  year = {2020},
  doi = {10.4230/lipics.ipec.2020.34},
  url = {https://arxiv.org/abs/2006.09912},
  note = {Source identifier: 2006.09912}
}