Publications: Tianwei Zhang

2025 IEEE Congress on Evolutionary Computation (CEC), pages 1-8, 2025, IEEE.

31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 39:1-39:19, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson), pages 3315-3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track

27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Chakraborty, Supratik and Jiang, Jie-Hong Roland), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1-31:22, 2024, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.

Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap), volume 280 of LIPIcs, pages 39:1-39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.