• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Russell Impagliazzo, Ramamohan Paturi
  • Mathematics, Computer Science
  • Proceedings. Fourteenth Annual IEEE Conference on…
  • 1999 (First Publication: 4 May 1999)
  • The problem of k-SAT is to determine if the given k-CNF has a satisfying solution. It is a celebrated open question as to whether it requires exponential time to solve k-SAT for k/spl ges/3. DefineExpand
  • Russell Impagliazzo, Ramamohan Paturi
  • Computer Science, Mathematics
  • J. Comput. Syst. Sci.
  • 2001 (First Publication: 1 March 2001)
  • The k-SAT problem is to determine if a given k-CNF has a satisfying assignment. It is a celebrated open question as to whether it requires exponential time to solve k-SAT for k?3. Here exponentialExpand