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]
Abstract is missing.