SAT 20220

International Conference on Theory and Applications of Satisfiability Testing
Acc. Rate: 44.3%(31/70 22') · 50.7%(37/73 21')
DATES
August 2-5, 2022
VENUE
Haifa, Israel
NEXT DEADLINE INPassed

IMPORTANT DEADLINES

Abstract Submission Deadline
Paper Submission Deadline
CCF BCORE ATHCPL B计算机科学理论

past venues