2 citations · 4 across the 12 of their papers we have counts for
1 paper · 1 filter
Anatoly D. Plotnikov
A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implic…