Skip to content

SAT 2026

International Conference on Theory and Applications of Satisfiability Testing

Theory

Cycle closed, awaiting the next call

All deadlines

AbstractMar 2, 2026est.
Paper submissionMar 10, 2026est.

From past proceedings

Papers in SAT's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

32

main DBLP volume

5-year change

-11%

vs 2020

Papers, all years

863

24 years since 2003

Authors per paper

3.2

3.1 in 2015

By an entirely new team

16%

of 2025 papers

Papers per year2003 to 2025
2003: 38 papers2004: 48 papers2005: 42 papers2006: 39 papers2007: 36 papers2008: 27 papers2009: 47 papers2010: 37 papers2011: 37 papers2012: 54 papers2013: 34 papers2014: 33 papers2015: 30 papers2016: 36 papers2017: 30 papers2018: 27 papers2019: 28 papers2020: 36 papers2021: 37 papers2022: 31 papers2023: 30 papers2024: 31 papers2025: 32 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

satpseudo-booleansolvingconflictcore-guidedcountingmaxsatproofreasoningsamplingsat solvingsolutions

Venues like SAT

  1. CP International Conference on Principles and Practice of Constraint Programming0.20satpseudo-booleansat-basedmaximum satisfiability
  2. FMCAD Formal Methods in Computer-Aided Design0.18satdqbfsmtsat solvers
  3. CADE The Conference on Automated Deduction0.10sat-basedclauseproofsmt
  4. CAV International Conference on Computer-Aided Verification0.09smtproofsatisfiabilityquantified

Most published at SAT

  1. João Marques-Silva2004 to 202641
  2. Stefan Szeider2003 to 202538
  3. Armin Biere2004 to 202636
  4. Olaf Beyersdorff2009 to 202621
  5. Friedrich Slivovsky2012 to 202620

Who publishes here

2026 · papers count once per institution on them

Academia 81%Industry 0%Government and other 19%

Institutions

  1. 1TU Wien🇦🇹6
  2. 2Karlsruhe Institute of Technology🇩🇪4
  3. 3Centre National de la Recherche Scientifique🇫🇷4
  4. 4Carnegie Mellon University🇺🇸4
  5. 5University of Freiburg🇩🇪3
  6. 6Homi Bhabha National Institute🇮🇳3
  7. 7Czech Technical University in Prague🇨🇿3
  8. 8Institute of Mathematical Sciences🇮🇳3

Countries

  1. Germany10
  2. United States10
  3. Austria7
  4. Spain5
  5. France5
  6. China4

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.