Short Propositional Refutations for Dense Random 3CNF Formulas

Research output: Contribution to journal › Article › peer-review

71 Downloads (Pure)

Original language	English
Pages (from-to)	1864-1918
Number of pages	55
Journal	Annals of Pure and Applied Logic
Volume	165
DOIs	https://doi.org/http://www.sciencedirect.com/science/article/pii/S0168007214000852
Publication status	Published - 2014

Access to Document

@article{9d74a8f17ffb47008647206e6898e3e9,

title = "Short Propositional Refutations for Dense Random 3CNF Formulas",

author = "Sebastian Muller and Iddo Tzameret",

year = "2014",

doi = "http://www.sciencedirect.com/science/article/pii/S0168007214000852",

language = "English",

volume = "165",

pages = "1864--1918",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Short Propositional Refutations for Dense Random 3CNF Formulas

AU - Muller, Sebastian

AU - Tzameret, Iddo

PY - 2014

Y1 - 2014

U2 - http://www.sciencedirect.com/science/article/pii/S0168007214000852

DO - http://www.sciencedirect.com/science/article/pii/S0168007214000852

M3 - Article

SN - 0168-0072

VL - 165

SP - 1864

EP - 1918

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

ER -