Search

AC Group | TU Wien
AC Group | TU Wien
  • People
  • Research
  • Courses
  • Updates
  • Jobs
  • Contact
  • Internal
  • Light Dark Automatic
Tianwei Zhang
Univ.Ass.in

Tianwei Zhang

MSc
+43 1 58801 192154

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

TU Wien Informatics
© 2026 Algorithms and Complexity Group
Legal Notice · Privacy Policy

Cite
Copy Download