International Conference on Theory and Applications of Satisfiability Testing
International Conference on Theory and Applications of Satisfiability Testing
Latest edition: SAT 2026
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
A
Artificial intelligence
CCF RankingChina CF
CCF B
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
SAT 2026 • Lisbon Portugal(20 – 23 Jul, 2026)
Main Track
(conference)Deadline: Mar 11, 2026
DEADLINE PASSED
Anywhere on Earth (UTC-12)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | Mar 3, 2026 | Mar 11, 2026 | — | TBA | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | A | Year 2026 | Artificial intelligence | Excellent conference (Top 15%–20% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier B | CCF 2022 Catalog | Computer Science | High-quality international conference |
| TH-CPL | Tsinghua University | Class A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CCF | Academic Association | B | N/A | General | International prestige ranking |
| CORE | Academic Association | A | N/A | General | International prestige ranking |
| THCPL | Academic Association | B | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2026
SAT 2026
UpcomingLisbon, Portugal
20 – 23 Jul, 2026
2023
SAT 2023
UpcomingAlghero, Italy
5 – 8 Jul, 2023
2022
SAT 2022
UpcomingHaifa, Israel
2 – 5 Aug, 2022
2021
SAT 2021
UpcomingBarcelona, Spain (Hybrid)
7 – 9 Jul, 2021
2020
Theory and Applications of Satisfiability Testing
PastAlghero, Italy
5 – 9 Jul, 2020
2018
Theory and Applications of Satisfiability Testing
PastOxford, UK
9 – 12 Jul, 2018
2017
20th International Conference on Theory and Applications of Satisfiability Testing
PastMelbourne, Australia
28 Aug – 1 Sep, 2017
2016
International Conference on Theory and Applications of Satisfiability Testing
PastBordeaux, France
5 – 8 Jul, 2016
2015
18th International Conference on Theory and Applications of Satisfiability Testing
PastAustin, USA
24 – 27 Sep, 2015
2013
International Conference on Theory and Applications of Satisfiability Testing
PastHelsinki, Finland
8 – 12 Jul, 2013
2008
Conference on Theory and Applications of Satisfiability Testing
PastGuangzhou, P. R. China
12 – 15 May, 2008
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗