Publications | Lund University Publications

1 – 10 of 10

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+%220272-5428%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2023
Mark Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas ^LU ; De Rezende, Susanna F. ^LU ; Nordstrom, Jakob ^LU ; Pang, Shuo and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F. ^LU ; Potechin, Aaron and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2020
Mark Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna ^LU ; Meir, Or ; Nordstrom, Jakob ^LU ; Pitassi, Toniann ; Robere, Robert and Vinyals, Marc (2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark KRW composition theorems via lifting
De Rezende, Susanna F. ^LU ; Meir, Or ; Nordstrom, Jakob ^LU ; Pitassi, Toniann and Robere, Robert (2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2016
Mark How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)
De Rezende, Susanna F. ^LU ; Nordstrom, Jakob ^LU and Vinyals, Marc (2016) 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016-December. p.295-304
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2015
Mark Hardness of Approximation in PSPACE and Separation Results for Pebble Games
Chan, Siu Man ; Lauria, Massimo ; Nordstrom, Jakob ^LU and Vinyals, Marc (2015) 56th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2015 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2015-December. p.466-485
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2013
Mark The Parity of Directed Hamiltonian Cycles
Björklund, Andreas ^LU and Husfeldt, Thore ^LU (2013) 54th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2013) p.727-735
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2010
Mark Determinant sums for undirected Hamiltonicity
Björklund, Andreas ^LU (2010) 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010) p.173-182
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2008
Mark Computing the Tutte polynomial in vertex-exponential time
Björklund, Andreas ^LU ; Husfeldt, Thore ^LU ; Kaski, Petteri and Koivisto, Mikko (2008) 49th Annual Symposium on Foundations of Computer Science p.677-686
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Short proofs may be spacious : An optimal separation of space and length in resolution
Ben-Sasson, Eli and Nordström, Jakob ^LU (2008) 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.709-718
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding