@inproceedings{HoorySzeider04,
 author = {Shlomo Hoory and Stefan Szeider},
 booktitle = {{SAT} 2004 - The Seventh International Conference on
Theory and Applications of Satisfiability Testing,
10-13 May 2004, Vancouver, BC, Canada, Online
Proceedings},
 title = {Computing Unsatisfiable k-SAT Instances with Few
Occurrences per Variable},
 year = {2004}
}