%0 Journal Article %1 journals/apal/MullerT14 %A Müller, Sebastian %A Tzameret, Iddo %D 2014 %J Ann. Pure Appl. Logic %K dblp %N 12 %P 1864-1918 %T Short propositional refutations for dense random 3CNF formulas. %U http://dblp.uni-trier.de/db/journals/apal/apal165.html#MullerT14 %V 165

@article{journals/apal/MullerT14, added-at = {2015-04-09T00:00:00.000+0200}, author = {Müller, Sebastian and Tzameret, Iddo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258f652964738862bad4ffa7ad4e8ca4d/dblp}, ee = {http://dx.doi.org/10.1016/j.apal.2014.08.001}, interhash = {dc7af81c1fa89bf19a05744686508096}, intrahash = {58f652964738862bad4ffa7ad4e8ca4d}, journal = {Ann. Pure Appl. Logic}, keywords = {dblp}, number = 12, pages = {1864-1918}, timestamp = {2016-02-02T01:51:36.000+0100}, title = {Short propositional refutations for dense random 3CNF formulas.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal165.html#MullerT14}, volume = 165, year = 2014 }