On the Exact Complexity of Evaluating Quantified ıt -CNF. Calabro, C., Impagliazzo, R., & Paturi, R. In IPEC, pages 50-59, 2010. bibtex @inproceedings{CIP10,
author = {Chris Calabro and Russell Impagliazzo and Ramamohan Paturi},
title = {On the Exact Complexity of Evaluating Quantified {\it }-CNF},
booktitle = {IPEC},
year = {2010},
pages = {50-59},
}
Downloads: 0
{"_id":{"_str":"534243ba0e946d920a0004c5"},"__v":1,"authorIDs":[],"author_short":["Calabro, C.","Impagliazzo, R.","Paturi, R."],"bibbaseid":"calabro-impagliazzo-paturi-ontheexactcomplexityofevaluatingquantifiedtcnf-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chris"],"propositions":[],"lastnames":["Calabro"],"suffixes":[]},{"firstnames":["Russell"],"propositions":[],"lastnames":["Impagliazzo"],"suffixes":[]},{"firstnames":["Ramamohan"],"propositions":[],"lastnames":["Paturi"],"suffixes":[]}],"title":"On the Exact Complexity of Evaluating Quantified ıt -CNF","booktitle":"IPEC","year":"2010","pages":"50-59","bibtex":"@inproceedings{CIP10,\n author = {Chris Calabro and Russell Impagliazzo and Ramamohan Paturi},\n title = {On the Exact Complexity of Evaluating Quantified {\\it }-CNF},\n booktitle = {IPEC},\n year = {2010},\n pages = {50-59},\n}\n\n\n","author_short":["Calabro, C.","Impagliazzo, R.","Paturi, R."],"key":"CIP10","id":"CIP10","bibbaseid":"calabro-impagliazzo-paturi-ontheexactcomplexityofevaluatingquantifiedtcnf-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["exact","complexity","evaluating","quantified","cnf","calabro","impagliazzo","paturi"],"title":"On the Exact Complexity of Evaluating Quantified ıt -CNF","year":2010,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}