Publications

• Certified Core-Guided MaxSAT Solving

  Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
  29th International Conference on Automated Deduction (CADE-29), 2023

  Code Slides SAT: Extended Reunion Slides NordConsNet 2023 Slides CADE-29

• 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 SAT+SMT 2022 video

• 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