A QUBO formulation for the Tree Containment problem. - Michael J. Dinneen; Pankaj S. Ghodla; Simone Linz (Theor. Comput. Sci., 2023)