Publications

• Certified Core-Guided MaxSAT Solving

  Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
  Submitted to CADE'23

  Slides SAT: Extended Reunion Code

• Certified CNF Translations for Pseudo-Boolean Solving

  Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
  25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
  Best Paper Award at SAT 2022

  PDF Code Data Slides SAT+SMT 2022 slides

• Fast ultrametric matrix-vector multiplication

  Tobias Hofmann, Andy Oertel
  Preprint

  PDF Code

• Maximum number of \( r \)-edge-colorings such that all copies of \( K_k \) are rainbow

  Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt
  LAGOS (Procedia Computer Science), 2021

  PDF