by Shlomo Hoory, Stefan Szeider
Reference:
A note on unsatisfiable k-CNF formulas with few occurrences per variableShlomo Hoory, Stefan SzeiderSIAM J. Discrete Math., volume 20, number 2, pages 523-528, 2006.
Bibtex Entry:
@string{siamjdm="SIAM J. Discrete Math."}
@article {HoorySzeider06,
author = {Shlomo Hoory and Stefan Szeider},
title = {A note on unsatisfiable k-{CNF} formulas with
few occurrences per variable},
journal = SiamJDM,
volume = 20,
year = 2006,
number = 2,
pages = {523-528},
url = {https://www.ac.tuwien.ac.at/files/pub/HoorySzeider06.pdf},
}