Chris Calabro, Russell Impagliazzo, Ramamohan Paturi. k -CNF. Algorithmica, 65(4):817-827, 2013. [doi]
@article{CalabroIP13, title = {k -CNF}, author = {Chris Calabro and Russell Impagliazzo and Ramamohan Paturi}, year = {2013}, doi = {10.1007/s00453-012-9648-0}, url = {http://dx.doi.org/10.1007/s00453-012-9648-0}, researchr = {https://researchr.org/publication/CalabroIP13}, cites = {0}, citedby = {0}, journal = {Algorithmica}, volume = {65}, number = {4}, pages = {817-827}, }