| 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) |