Tianwei Zhang

Address:
Tianwei Zhang
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria

Room:	HA0410
Phone:	+43(1)58801–192154
Email:	zhangtw@ac.tuwien.ac.at
Web:	http://www.ac.tuwien.ac.at/people/zhangtw/

I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Algorithms and Complexity group under the supervision of Prof. Stefan Szeider.

Publications

6 results

2025
[6]	The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators Tianwei Zhang, Stefan Szeider 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) (Maria Garcia de la Banda, ed.), volume 340 of Leibniz International Proceedings in Informatics (LIPIcs), pages 39:1–39:19, 2025, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
2024
[5]	Small 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) (Supratik Chakraborty, Jie-Hong Roland Jiang, eds.), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1–31:22, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[4]	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 2024, Jeju, South Korea, August 3-9, 2024, pages 3315–3323, 2024, ijcai.org. [bibtex] [pdf]
2023
[3]	Searching for Smallest Universal Graphs and Tournaments with SAT Tianwei Zhang, Stefan Szeider 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023 (Roland H. C. Yap, ed.), volume 280 of LIPIcs, pages 39:1–39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
2022
[2]	Bisumulations over Parity Formulas Tianwei Zhang 2022, Master's thesis, University of Amsterdam. [bibtex] [pdf]
2020
[1]	Solution complexity of local variants of sabotage game Tianwei Zhang Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, pages 97–121, 2020. [bibtex]