Publications | Lund University Publications

1 – 2 of 2

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%3D%22Johannsen%2C+Jan%22+or+(documentType+any+%22bookEditor+conferenceEditor%22+and+editor%3D%22Johannsen%2C+Jan%22)&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2020
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
2016
Mark Trade-offs between time and memory in a tighter model of CDCL SAT solvers
Elffers, Jan ^LU ; Johannsen, Jan ; Lauria, Massimo ; Magnard, Thomas ; Nordström, Jakob ^LU and Vinyals, Marc (2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding