Searching for Smallest Universal Graphs and Tournaments with SAT. - Tianwei Zhang 006; Stefan Szeider (CP, 2023)

Compilation and Fast Model Counting beyond CNF. - Alexis de Colnet; Stefan Szeider; Tianwei Zhang 006 (IJCAI, 2024)

Small Unsatisfiable k-CNFs with Bounded Literal Occurrence. - Tianwei Zhang 006; Tomás Peitl; Stefan Szeider (SAT, 2024)

The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators. - Tianwei Zhang 006; Stefan Szeider (CP, 2025)