@article{Impagliazzo_2001,
doi = {10.1006/jcss.2000.1727},
url = {https://doi.org/10.1006%2Fjcss.2000.1727},
year = {2001},
month = {mar},
publisher = {Elsevier {BV}},
volume = {62},
number = {2},
pages = {367--375},
author = {Russell Impagliazzo and Ramamohan Paturi},
title = {On the Complexity of k-{SAT}},
journal = {Journal of Computer and System Sciences}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A