💬 Talks

• 2025.05, “Advances on SAT and Equivalence Checking”, ISEDA 25 🎞️Slides

• 2024.08, “Introduction of SAT and its Applications in EDA”, Institute of Computing Technology, Chinese Academy of Sciences, 🎞️Slides

• 2024.05, “SAT Solving and its Applications in EDA”, Huawei, 🎞️Slides

• 2024.05, “Practical Boolean SAT Solving Techniques”, ISEDA 24, 🎞️Slides

• 2023.12, “Hybrid Solvers, Preprocessing, and Parallel Solvers for SAT/SMT”, KouShare, 🎞️Slides 📽️Video