| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 7 Aug 2025 | SERC | Institute for Infocomm Research | Certifying Projected Knowledge Compilation | Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule | International Conference on Theory and Applications of Satisfiability Testing (SAT) |