Algorithm 2From: Infrared: a declarative tree decomposition-powered framework for bioinformaticsOptimal tracebackBack to article page