@article{HoorySzeider05,
 author = {Hoory, Shlomo and Szeider, Stefan},
 journal = {Theoretical Computer Science},
 note = {Supplementary material is available at {https://www.ac.tuwien.ac.at/files/pub/HoorySzeider05.tar.gz}},
 number = {1-3},
 pages = {347-359},
 title = {Computing unsatisfiable {k}-{SAT} instances with few
occurrences per variable},
 url = {https://www.ac.tuwien.ac.at/files/pub/HoorySzeider05.pdf},
 volume = {337},
 year = {2005}
}