SAT 20230

International Conference on Theory and Applications of Satisfiability Testing

Acc. Rate: 44.8%(30/67 23') · 44.3%(31/70 22')

DATES

July 5-8, 2023

VENUE

Alghero, Italy

NEXT DEADLINE INPassed

IMPORTANT DEADLINES

Abstract Submission Deadline

23:59, Mar 10, 2023 · AoE

Paper Submission Deadline

23:59, Mar 17, 2023 · AoE

CCF BCORE ATHCPL B计算机科学理论