SMIČÍK, Miloslav - ZAJAC, Pavol. Using MRHS solver for decoding problem. In CECC 2024 : 24th Central European Conference on Cryptology. Warsaw, Poland. June 20-21, 2024. Warsaw : Military University of Technology, 2024, S. 66-69. E*e-236/2024