swMATH46012MaRDI QIDQ5975134
No author found.
Source code repository: https://github.com/nmanthey/riss-solver