Edward A. Hirsch. Two New Upper Bounds for SAT. In SODA. pages 521-530, 1998.
@inproceedings{Hirsch98:1,
title = {Two New Upper Bounds for SAT},
author = {Edward A. Hirsch},
year = {1998},
researchr = {https://researchr.org/publication/Hirsch98%3A1},
cites = {0},
citedby = {0},
pages = {521-530},
booktitle = {SODA},
}