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

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

Powered by bibtexbrowser