par Bennett, Patrick;Bonacina, Ilario;Galesi, Nicola;Huynh, Tony 
;Molloy, Mike;Wollan, Paul
Référence Information and computation, 255, page (165-176)
Publication Publié, 2017-08
;Molloy, Mike;Wollan, PaulRéférence Information and computation, 255, page (165-176)
Publication Publié, 2017-08
Article révisé par les pairs
| Titre: |
|
| Auteur: | Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, Paul |
| Informations sur la publication: | Information and computation, 255, page (165-176) |
| Statut de publication: | Publié, 2017-08 |
| Sujet CREF: | Informatique appliquée logiciel |
| Informatique générale | |
| Informatique mathématique | |
| Mots-clés: | Monomial space |
| Polynomial calculus | |
| Proof complexity | |
| Random CNFs | |
| Resolution | |
| Total space | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0890-5401 |
| info:doi/10.1016/j.ic.2017.06.003 | |
| info:pii/S0890540117300974 | |
| info:scp/85021162863 |
