Publications | Lund University Publications

1 – 8 of 8

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+%2242cd4f7d-e122-4264-961b-8af2dd3c63c6%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
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
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
Mark Divide and conquer : Towards faster pseudo-boolean solving
Elffers, Jan ^LU and Nordström, Jakob ^LU (2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1291-1299
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
Vinyals, Marc ; Elffers, Jan ^LU ; Giráldez-Cru, Jesús ; Gocht, Stephan ^LU and Nordström, Jakob ^LU (2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
Elffers, Jan ^LU ; Giráldez-Cru, Jesús ; Nordström, Jakob ^LU and Vinyals, Marc (2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2017
Mark CNFgen : A generator of crafted benchmarks
Lauria, Massimo ; Elffers, Jan ^LU ; Nordström, Jakob ^LU and Vinyals, Marc (2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473
- 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