| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 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 |