Refined memorization for vertex cover
scientific article; zbMATH DE number 5599195