| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 8 Aug 2025 | SERC | Institute for Infocomm Research | 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 | International Conference on Principles and Practice of Constraint Programming (CP) |
| 30 Jun 2024 | SERC | Institute for Infocomm Research | Certified MaxSAT Preprocessing | Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström | Lecture Notes in Computer Science |
| 25 Mar 2024 | SERC | Institute for Infocomm Research | End-to-End Verification for Subgraph Solving | Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan | Proceedings of the AAAI Conference on Artificial Intelligence |