External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Exact Complexity of Evaluating Quantified ::::k::::-CNF

Chris Calabro, Russell Impagliazzo, Ramamohan Paturi. On the Exact Complexity of Evaluating Quantified ::::k::::-CNF. In Venkatesh Raman, Saket Saurabh, editors, Parameterized and Exact Computation - 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings. Volume 6478 of Lecture Notes in Computer Science, pages 50-59, Springer, 2010. [doi]

Authors

Chris Calabro

This author has not been identified. Look up 'Chris Calabro' in Google

Russell Impagliazzo

This author has not been identified. Look up 'Russell Impagliazzo' in Google

Ramamohan Paturi

This author has not been identified. Look up 'Ramamohan Paturi' in Google
runs on