Article,
Space proof complexity for random 3-CNFs.
P. Bennett, I. Bonacina, N. Galesi, T. Huynh, M. Molloy, and P. Wollan.Inf. Comput., (2017)
Meta data
- BibTeX key
- journals/iandc/BennettBGHMW17
- entry type
- article
- year
- 2017
- journal
- Inf. Comput.
- pages
- 165-176
- volume
- 255
- ee
- https://www.wikidata.org/entity/Q61732560
- url
- http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#BennettBGHMW17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/iandc/BennettBGHMW17
%A Bennett, Patrick
%A Bonacina, Ilario
%A Galesi, Nicola
%A Huynh, Tony
%A Molloy, Mike
%A Wollan, Paul
%D 2017
%J Inf. Comput.
%K dblp
%P 165-176
%T Space proof complexity for random 3-CNFs.
%U http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#BennettBGHMW17
%V 255
@article{journals/iandc/BennettBGHMW17,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Bennett, Patrick and Bonacina, Ilario and Galesi, Nicola and Huynh, Tony and Molloy, Mike and Wollan, Paul},
biburl = {https://www.bibsonomy.org/bibtex/23b25fefae7d29adbbd0b0c0bdb4601ec/dblp},
ee = {https://www.wikidata.org/entity/Q61732560},
interhash = {ec8edef48b58a5e274286ecf70a0a9df},
intrahash = {3b25fefae7d29adbbd0b0c0bdb4601ec},
journal = {Inf. Comput.},
keywords = {dblp},
pages = {165-176},
timestamp = {2024-04-09T06:09:19.000+0200},
title = {Space proof complexity for random 3-CNFs.},
url = {http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#BennettBGHMW17},
volume = 255,
year = 2017
}