Jakob Nordström

71 – 73 of 73

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/984829bd-2059-42df-abef-4bba2bcd74ed?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
…
5
6
7
8
next »

2008
Mark Towards an optimal separation of space and length in resolution
Nordström, Jakob ^LU and Håstad, Johan (2008) 40th Annual ACM Symposium on Theory of Computing, STOC 2008 In Proceedings of the Annual ACM Symposium on Theory of Computing p.701-710
- 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
2006
Mark Narrow proofs may be spacious : Separating space and width in resolution
Nordström, Jakob ^LU (2006) 38th Annual ACM Symposium on Theory of Computing, STOC'06 In Proceedings of the Annual ACM Symposium on Theory of Computing 2006. p.507-516
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
…
5
6
7
8
next »