Publications: Tianwei Zhang
2025
- Genetic Programming Hyper-Heuristic for the Dynamic Electric Dial-a-Ride Problem
Huang, William, Mei, Yi, Raidl, Günther, Zhang, Fangfang, Tomandl, Laurenz, Limmer, Steffen, Zhang, Mengjie, Rodemann, Tobias. 2025 IEEE Congress on Evolutionary Computation (CEC)
📄 Details
2024
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
📄 DetailsSmall unsatisfiable k-CNFs with bounded literal occurrence Tianwei Zhang , Tomáš Peitl, Stefan Szeider. 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
📄 Details
2023
- 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
📄 Details
AC Admin
Website maintainer