🔥 News

• 2025.05:  🎉🎉 1 papers have been accepted by CP（CCF-B）
• 2025.02:  🎉🎉 4 papers have been accepted by DAC（CCF-A）
• 2024.12:  🎉🎉 中国研究生创“芯”大赛·EDA精英挑战赛 二等奖 + 企业特别奖
• 2024.08:  🎉🎉 Second Place in SAT Competition Cloud Track
• 2024.07:  🎉🎉 中国科学院大学2024年毕业典礼，研究生代表
• 2024.06:  🎉🎉 “中国科学院大学 院长奖-特别奖”
• 2024.05:  🎉🎉 ISEDA talk: “Practical Boolean SAT Solving Techniques”.