SAT 20210 International Conference on Theory and Applications of Satisfiability Testing Acc. Rate: 50.7%(37/73 21') DATESJuly 7-9, 2021 VENUEBarcelona, Spain (hybrid) NEXT DEADLINE INPassed IMPORTANT DEADLINESAbstract Submission Deadline23:59, Mar 15, 2021 · AoEPaper Submission Deadline23:59, Mar 19, 2021 · AoE CCF BCORE ATHCPL B计算机科学理论 Visit website ↗Google CalendariCloud Calendar