Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable

Hoory, Shlomo; Szeider, Stefan

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},
}