Publication
-
Optimal proof systems and sparse sets In Proceedings
January 2000 -
Minimum description length induction, Bayesianism, and Kolmogorov complexity Article
IEEE Transactions on Information Theory, 46(2), 446-464.January 2000 -
A generalization of resource-bounded measure, with application to the BPP vs. EXP problem Article
SIAM Journal on Computing, 30(2), 576-601.January 2000 -
Upper bounds on the maximal number of facets of 0/1-polytopes. Combinatorics of polytopes. Article
European Journal of Combinatorics, 21(1), 121-130.January 2000
-
Random sampling for the monomer-dimer model on a lattice. Probabilistic techniques in equilibrium and nonequilibrium statistical physics. Article
Journal of Mathematical Physics, 41(3), 1585-1597.January 2000 -
A parallel Jacobi-Davidson-type method for solving large generalized eigenvalue problems in magnetohydrodynamics Article
SIAM Journal on Scientific Computing, 22(1), 95-112.January 2000 -
Asymptotic estimates for generalized Stirling numbers Article
Analysis, 20(1), 1-13.January 2000 -
Separating complexity classes using autoreducibility Article
SIAM Journal on Computing, 29(5), 1497-1520.January 2000