Tableau-based protein substructure search using quadratic programming