Person
Ramamohan Paturi
A computer scientist and researcher in computational complexity theory, and one of the proposers of the Exponential Time Hypothesis (ETH).
Timeline (last 90 days)
Oct 30
ETH was proposed by Russell Impagliazzo and Ramamohan Paturi, conjecturing that the 3SAT problem cannot be solved in subexponential time.
Unverified50%
Oct 30
Verification work is being led by Impagliazzo, Paturi and Ryan Williams, among others, and requires Lean formalization, but independent review is still ongoing.
Unverified50%
All Facts (2)
Unverified
ETH was proposed by Russell Impagliazzo and Ramamohan Paturi, conjecturing that the 3SAT problem cannot be solved in subexponential time.
50%UnverifiedVerification work is being led by Impagliazzo, Paturi and Ryan Williams, among others, and requires Lean formalization, but independent review is still ongoing.
50%