Publications | Lund University Publications

21 – 30 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/publication?embed=1&q=author+exact+%22984829bd-2059-42df-abef-4bba2bcd74ed%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
3
4
5
…
8
next »

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
Mark Proof complexity and SAT solving
Buss, Sam and Nordström, Jakob ^LU (2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter
Mark The power of negative reasoning
de Rezende, Susanna F. ^LU ; Lauria, Massimo ; Nordström, Jakob ^LU and Sokolov, Dmitry ^LU (2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
De Rezende, Susanna F. ^LU ; Meir, Or ; Nordström, Jakob ^LU and Robere, Robert (2021) In Computational Complexity 30(1).
- Contribution to journal › Article
2020
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 Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ^LU ; Elffers, Jan ^LU and Nordstrom, Jakob ^LU (2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
de Rezende, Susanna F. ^LU ; Nordström, Jakob ^LU ; Risse, Kilian and Sokolov, Dmitry ^LU (2020) 35th Computational Complexity Conference, CCC 2020 In Leibniz International Proceedings in Informatics, LIPIcs 169.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Simplified and Improved Separations Between Regular and General Resolution by Lifting
Vinyals, Marc ; Elffers, Jan ^LU ; Johannsen, Jan and Nordström, Jakob ^LU (2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
5
…
8
next »

your query:: Remove author: Nordström, Jakob (LU)