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