An Interactive Application for Learning and Analyzing Different Graph Vertex Cover Algorithms. - Velin Kralev; Radoslava Kraleva; Viktor Ankov (Int. J. Eng. Pedagog., 2023)