Showing 1 - 1 results of 1 for search 'Moritz Hiebler', query time: 0.02s Refine Results
  1. 1
    Computer-Aided Verification of P/NP Proofs: A Survey and Discussion

    Computer-Aided Verification of P/NP Proofs: A Survey and Discussion by Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler

    Published 2024-01-01
    Get full text
    Article

Search Tools: