Maximum number of r-edge-colorings such that all copies of Kk are rainbow. - Josefran de Oliveira Bastos; Hanno Lefmann; Andy Oertel; Carlos Hoppen; Dionatan Ricardo Schmidt (LAGOS, 2021)

Certified CNF Translations for Pseudo-Boolean Solving. - Stephan Gocht; Ruben Martins; Jakob Nordström; Andy Oertel (SAT, 2022)

Fast ultrametric matrix-vector multiplication. - Tobias Hofmann; Andy Oertel (CoRR, 2022)

Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). - Olaf Beyersdorff; Armin Biere; Vijay Ganesh 001; Jakob Nordström; Andy Oertel (Dagstuhl Reports, 2022)

Certified Core-Guided MaxSAT Solving. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Dieter Vandesande (CADE, 2023)

Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). - Stephan Gocht; Ruben Martins; Jakob Nordström; Andy Oertel (IJCAI, 2023)

Graphs with many edge-colorings such that complete graphs are rainbow. - Josefran de Oliveira Bastos; Carlos Hoppen; Hanno Lefmann; Andy Oertel; Dionatan Ricardo Schmidt (Discret. Appl. Math., 2023)

End-to-End Verification for Subgraph Solving. - Stephan Gocht; Ciaran McCreesh; Magnus O. Myreen; Jakob Nordström; Andy Oertel; Yong Kiam Tan (AAAI, 2024)

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Tobias Paxian; Dieter Vandesande (CP, 2024)

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. - Emir Demirovic; Ciaran McCreesh; Matthew J. McIlree; Jakob Nordström; Andy Oertel; Konstantin Sidorov (CP, 2024)

Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. - Alexander Hoen; Andy Oertel; Ambros M. Gleixner; Jakob Nordström (CPAIOR (1), 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Magnus O. Myreen; Jakob Nordström (IJCAR (1), 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Jakob Nordström (CoRR, 2024)

Practically Feasible Proof Logging for Pseudo-Boolean Optimization. - Wietze Koops; Daniel Le Berre; Magnus O. Myreen; Jakob Nordström; Andy Oertel; Yong Kiam Tan; Marc Vinyals (CP, 2025)