SAT proceedings
International Conference on Theory and Applications of Satisfiability Testing
Papers in 2025
32
Papers, all years
863
Years indexed
24
Since
2003
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202532 papers✓ verified
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2026 · papers count once per institution on them
Academia 81%Industry 0%Government and other 19%
Institutions
- 1TU Wien🇦🇹6
- 2Karlsruhe Institute of Technology🇩🇪4
- 3Centre National de la Recherche Scientifique🇫🇷4
- 4Carnegie Mellon University🇺🇸4
- 5University of Freiburg🇩🇪3
- 6Homi Bhabha National Institute🇮🇳3
- 7Czech Technical University in Prague🇨🇿3
- 8Institute of Mathematical Sciences🇮🇳3
- 9Universitat Politècnica de Catalunya🇪🇸3
- 10Leiden University🇳🇱2
- 11Johannes Kepler University of Linz🇦🇹2
- 12Georgia Institute of Technology🇺🇸2
Countries
- Germany10
- United States10
- Austria7
- Spain5
- France5
- China4
- Czechia4
- India3
- Belgium2
- Canada2
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.
Venues like SAT
Closest by the phrases in their paper titles over the last five complete years.
- CP International Conference on Principles and Practice of Constraint Programming0.20satpseudo-booleansat-basedmaximum satisfiabilitylocal search
- FMCAD Formal Methods in Computer-Aided Design0.18satdqbfsmtsat solverssolvers
- CADE The Conference on Automated Deduction0.10sat-basedclauseproofsmtsatisfiability
- CAV International Conference on Computer-Aided Verification0.09smtproofsatisfiabilityquantifiedcertified
- EvoCOP European Conference on Evolutionary Computation in Combinatorial Optimisation0.07pseudo-booleanlocal searchinstanceslocalsearch
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.4 in 2026
Papers by an entirely new team
12% in 2026
Most published at SAT
- João Marques-Silva2004 to 202641
- Stefan Szeider2003 to 202538
- Armin Biere2004 to 202636
- Olaf Beyersdorff2009 to 202621
- Friedrich Slivovsky2012 to 202620
- Marijn J. H. Heule2016 to 202619
- Fahiem Bacchus2003 to 202016
- Alexander Nadel2005 to 202616
- Inês Lynce2004 to 201715
- Alexey Ignatiev2011 to 202415