Skip to content
cs-conference-ranking.org

International Conference on Theory and Applications of Satisfiability Testing

SAT

A

CORE rank

CORE rank (raw)

A

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

937

2003–2026

Best Artificial Intelligence conferencesBest Theory of Computation conferences

Papers per year

200376 peak2026

Most published authors

SAT papers

937 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Dsat: A Native SAT Solver for Discrete Logic.Yaofang Zhang, Ken Zhou, Adnan Darwiche
2026NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper).Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li
2026Front Matter, Table of Contents, Preface, Conference Organization.
2026Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (Tool Paper).Thomas Sergeys, Ignace Bleukx, Tias Guns
2026An Exponential Separation Between Deterministic CDCL and DPLL Solvers.Sahil Samar, Marc Vinyals, Vijay Ganesh
2026Automated Reencoding Meets Graph Theory.Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule
2026CaDiCaL 3.0 (Tool Paper).Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere
2026Factoring Learned Clauses.Florian Pollitt, Zachary Battleman, Mathias Fleury, Yakir Vizel, Marijn J. H. Heule, Armin Biere, Randal E. Bryant
2026WhyUnsat: A Practical Explanation Tool (Tool Paper).Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell
2026Backtrackable Inprocessing.Alexander Nadel
2026On Knowledge Compilation for Two-Variable First-Order Logic.Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka
2026d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, Roberto Sebastiani
2026Shapley-Shubik Attribution from Minimal Subsets (Short Paper).Pablo Martnez-Naredo, Ral Menca, Joo Marques-Silva, Carlos Menca
2026Trustable Explainable AI - SAT to the Rescue (Invited Talk).Joo Marques-Silva
2026Exact Symbolic Reasoning for Nonlinear Stochastic SMT via Cylindrical Algebraic Decomposition.Jung-Cheng Lin, Chia-Hsuan Su, Jie-Hong R. Jiang, Hiroshi Unno
2026decdnnf_rs: A Framework for Querying d-DNNF (Tool Paper).Jean-Marie Lagniez, Emmanuel Lonca
2026Near-Optimal Encodings of Cardinality Constraints.Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux
2026SAT in Saturation: A Satisfied Match (Invited Talk).Laura Kovcs
2026Definition-Based Dependency Schemes.David Kattermann, Clemens Hofstadler, Martina Seidl
2026PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving.Mingming Jin, Zhijie Kuang, Jiongzhi Zheng, Kun Mao, Kun He
2026New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions.Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao
2026Scuttle: A System for Multi-Objective MaxSAT (Tool Paper).Christoph Jabs, Jeremias Berg, Matti Jrvisalo
2026Efficient Identification of Isomorphic SAT Instances (Tool Paper).Ashlin Iser, Frederick Gehm
2026Sustainable Benchmarking Tool (Tool Paper).Ashlin Iser, Marie Anastacio, Tho Matricon, Laurent Simon, Holger H. Hoos
2026HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper).Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo
1–25 of 937← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.