Andy Oertel

11 – 11 of 11

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/0d385441-ab2f-42cf-a3f5-bd26636751ef?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
2
next »

2022
Mark Certified CNF Translations for Pseudo-Boolean Solving
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
next »