Tianwei Zhang
Univ.Ass.in

Tianwei Zhang

MSc

Biography

Tianwei Zhang is part of the Scientific Staff at TU Wien.

Recent Publications

Genetic Programming Hyper-Heuristic for the Dynamic Electric Dial-a-Ride Problem
Huang, William, Mei, Yi, Günther Raidl, Tianwei Zhang, Laurenz Tomandl, Limmer, Steffen, Rodemann, Tobias
2025 IEEE Congress on Evolutionary Computation (CEC), pages 1-8, 2025, IEEE.
PDF Cite DOI
Compilation and Fast Model Counting beyond CNF
Alexis De Colnet, Stefan Szeider, Tianwei Zhang
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
Cite Project Project Project DOI
Small unsatisfiable k-CNFs with bounded literal occurrence
Tianwei Zhang, Tomas Peitl, Stefan Szeider
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.
Cite Project DOI
Searching for smallest universal graphs and tournaments with SAT
Tianwei Zhang, Stefan Szeider
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.
PDF Cite Project Project DOI