Tianwei Zhang
Univ.Ass.in
Role
-
PreDoc Researcher
Algorithms and Complexity, E192-01
Publications
-
Searching for Smallest Universal Graphs and Tournaments with SAT
/
Zhang, T., & Szeider, S. (2023). Searching for Smallest Universal Graphs and Tournaments with SAT. In R. Yap (Ed.), 29th International Conference on Principles and Practice of Constraint Programming. https://doi.org/10.4230/LIPIcs.CP.2023.39
Download: PDF (722 KB)
Project: REVEAL-AI (2020–2024)