| 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) |
| 19 Apr 2024 | SERC | Institute for Infocomm Research | A Study of TMA Aircraft Conflict-Free Routing and Operation: With Mixed Integer Linear Programming, Multi-Agent Path Finding, and Metaheuristic-Based Neighborhood Search | Yi Zhang, Sheng Zhang, Yicheng Zhang, Yifang Yin | IEEE Transactions on Intelligent Transportation Systems |
| 24 Dec 2020 | SERC | Institute for Infocomm Research | A MILP-based Traffic Signal Scheduling Solution with Consideration of Platoon Dispersion | Yicheng Zhang, Rong Su | 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) |