A\textsuperscript{*}-based compilation of relaxed decision diagrams for the longest common subsequence problem
scientific article; zbMATH DE number 7493622
scientific article