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=keywords+exact+%22certifying+algorithms%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2023
Mark Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Vandesande, Dieter (2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2022
Mark Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Gocht, Stephan ^LU (2022)
- Thesis › Doctoral thesis (compilation)

your query:: Remove keywords: certifying algorithms