Tracks from hell â When finding a proof may be easier than checking it
Almanza, Matteo, Leucci, Stefano, Panconesi, AlessandroJournal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2020.05.027
Date:
May, 2020
File:
PDF, 1.40 MB
2020