Johan Håstad
Kungliga Tekniska högskolan
H-index: 50
Europe-Sweden
Top articles of Johan Håstad
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
On small-depth Frege proofs for PHP | Johan Håstad | 2023/11/6 | |
On bounded depth proofs for tseitin formulas on the grid; revisited | Johan Håstad Kilian Risse | 2022/10/31 | |
Computation Theory | ACM Transactions on | Ryan O’Donnell Vikraman Arvind Albert Atserias Andrej Bogdanov Harry Buhrman | 2022 |
Explicit two-deletion codes with redundancy matching the existential bound | IEEE Transactions on Information Theory | Venkatesan Guruswami Johan Håstad | 2021/3/29 |
On small-depth Frege proofs for Tseitin for grids | Journal of the ACM (JACM) | Johan Håstad | 2020/11/17 |