Computer-Aided Verification of P/NP Proofs: A Survey and Discussion. - Stefan Rass; Max-Julian Jakobitsch; Stefan Haan; Moritz Hiebler (IEEE Access, 2024)

Threshold sampling. - Stefan Rass; Max-Julian Jakobitsch; Stefan Haan; Moritz Hiebler (Theor. Comput. Sci., 2024)