Publications | Lund University Publications

1 – 4 of 4

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=issn+exact+%220004-5411%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2024
Mark A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
Mikša, Mladen and Nordström, Jakob ^LU (2024) In Journal of the ACM 71(6).
- Contribution to journal › Article
2023
Mark Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
Berkholz, Christoph and Nordström, Jakob ^LU (2023) In Journal of the ACM 70(5).
- Contribution to journal › Article
2022
Mark Random Θ(log n)-CNFs are hard for Cutting Planes
Fleming, Noah ^LU ; Pankratov, Denis ; Pitassi, Toniann and Robere, Robert (2022) In Journal of the ACM 69(3).
- Contribution to journal › Article
2021
Mark Clique Is Hard on Average for Regular Resolution
Atserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ^LU ; Lauria, Massimo ; Nordström, Jakob ^LU and Razborov, Alexander (2021) In Journal of the ACM 68(4). p.1-26
- Contribution to journal › Article

your query:: Remove issn: 0004-5411