Jakob Nordström

31 – 40 of 76

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
…
3
4
5
6
…
8
next »

2020
Mark Supercritical space-width trade-offs for resolution
Berkholz, Christoph and Nordström, Jakob ^LU (2020) In SIAM Journal on Computing 49(1). p.98-118
- Contribution to journal › Article
Mark Trade-offs between size and degree in polynomial calculus
Lagarde, Guillaume ; Nordström, Jakob ^LU ; Sokolov, Dmitry ^LU and Swernofsky, Joseph (2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Using Resolution Proofs to Analyse CDCL Solvers
Kokkala, Janne I. ^LU and Nordström, Jakob ^LU (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
Say, Buser ; Devriendt, Jo ^LU ; Nordström, Jakob ^LU and Stuckey, Peter J. (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
Gocht, Stephan ^LU ; McBride, Ross ; McCreesh, Ciaran ; Nordström, Jakob ^LU ; Prosser, Patrick and Trimble, James (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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
2019
Mark On division versus saturation in pseudo-boolean solving
Gocht, Stephan ^LU ; Nordström, Jakob ^LU and Yehudayoff, Amir (2019) 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 In IJCAI International Joint Conference on Artificial Intelligence 2019-August. p.1711-1718
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Nullstellensatz size-degree trade-offs from reversible pebbling
De Rezende, Susanna F. ^LU ; Nordström, Jakob ^LU ; Meir, Or and Robere, Robert (2019) 34th Computational Complexity Conference, CCC 2019 In Leibniz International Proceedings in Informatics, LIPIcs 137.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2018
Mark Seeking practical CDCL insights from theoretical SAT benchmarks
Elffers, Jan ^LU ; Cru, Jesús Giráldez ; Gocht, Stephan ^LU ; Nordström, Jakob ^LU and Simon, Laurent (2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1300-1308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
…
3
4
5
6
…
8
next »