Конференция
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 · с. 225–232
BibTeX
@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://sergeynikolenko.ru/papers/683}
}