Noah Fleming

Parallel Systems

1 – 3 of 3

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/person/861000f4-6039-4fea-b424-67e254863ff9?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. ^LU ; Fleming, Noah ^LU ; Janett, Duri Andrea ; Nordström, Jakob ^LU and Pang, Shuo (2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2023
Mark TFNP characterizations of proof systems and monotone circuits
Buss, Sam ; Fleming, Noah ^LU and Impagliazzo, Russell (2023) In Leibniz International Proceedings in Informatics (LIPIcs) 251.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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