Riešenie dekódovacieho problému MRHS solverom - Smičík, Miloslav (STU v Bratislave FEI, 2024)