Probabilistic computations: Toward a unified measure of complexity 论文

1977引用 891
Computability, Logic, AI AlgorithmsFormal Methods in VerificationComplexity and Algorithms in Graphs