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

2025

Compilation and Fast Model Counting beyond CNF

2024

Small unsatisfiable k-CNFs with bounded literal occurrence

2024

Searching for smallest universal graphs and tournaments with SAT

2023