Tianwei Zhang

Univ.Ass.in

Role

Compilation and Fast Model Counting beyond CNF / de Colnet, A., Szeider, S., & Zhang, T. (2024). Compilation and Fast Model Counting beyond CNF. In K. Larson (Ed.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3315–3323). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/367
Project: Overcoming Intractability in the Knowledge Compilation Map (2022–2025)
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)