Tianwei Zhang

Affiliations:
  • TU Wien, Vienna, austria


According to our database1, Tianwei Zhang authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators.
Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024
Small Unsatisfiable k-CNFs with Bounded Literal Occurrence.
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Compilation and Fast Model Counting beyond CNF.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023
Searching for Smallest Universal Graphs and Tournaments with SAT.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023


  Loading...