Proof complexity with the help of sunflowers
(2022) In LU-CS-EX EDAM05 20212Department of Computer Science
Please use this url to cite or link to this publication:
http://lup.lub.lu.se/student-papers/record/9075935
- author
- Nilsson, Jonatan LU
- supervisor
- organization
- alternative title
- Beviskomplexitet med hjälp av solrosor
- course
- EDAM05 20212
- year
- 2022
- type
- H2 - Master's Degree (Two Years)
- subject
- publication/series
- LU-CS-EX
- report number
- 2022-04
- ISSN
- 1650-2884
- language
- English
- id
- 9075935
- date added to LUP
- 2022-02-24 15:22:51
- date last changed
- 2022-02-24 15:22:51
@misc{9075935,
author = {{Nilsson, Jonatan}},
issn = {{1650-2884}},
language = {{eng}},
note = {{Student Paper}},
series = {{LU-CS-EX}},
title = {{Proof complexity with the help of sunflowers}},
year = {{2022}},
}