Worst-case upper bounds for SAT: automated proof
S.I. Nikolenko, A.V. Sirotkin
Student Session Proceedings, 15th European Summer School in Logic, Language, and Information, Vienna, Austria · ESSLLI 2003 · pp. 225–232
@inproceedings{nikolenko2003_683,
author = {Nikolenko, Sergey I. and Sirotkin, Alexander V.},
title = {{Worst-case upper bounds for SAT: automated proof}},
year = {2003},
booktitle = {Student Session Proceedings, 15th European Summer School in Logic, Language, and Information, Vienna, Austria},
pages = {225--232},
url = {https://cms.sergeynikolenko.ru/uploads/NS_Worst_Case_Automated_ps_6424565f66.gz}
}