A note on unsatisfiable k-CNF formulas with few occurrences per variable

Hoory, Shlomo; Szeider, Stefan

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