International Conference on Theory and Applications of Satisfiability Testing

SAT

CORE rank

CORE rank (raw)

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

937

2003–2026

Papers per year

200376 peak2026

Most published authors

SAT papers

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

Year	Title	Authors
2003	Read-Once Unit Resolution.	Hans Kleine Bning, Xishun Zhao
2003	On Boolean Models for Quantified Boolean Horn Formulas.	Hans Kleine Bning, K. Subramani, Xishun Zhao
2003	Solving Error Correction for Large Data Sets by Means of a SAT Solver.	Renato Bruni
2003	Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).	Elizabeth Broering, Satyanarayana V. Lokam
2003	Survey and Belief Propagation on Random K-SAT.	Alfredo Braunstein, Riccardo Zecchina
2003	Guiding SAT Diagnosis with Tree Decompositions.	Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
2003	Local Consistencies in SAT.	Christian Bessire, Emmanuel Hebrard, Toby Walsh
2003	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.	Daniel Le Berre, Laurent Simon, Armando Tacchella
2003	The Essentials of the SAT 2003 Competition.	Daniel Le Berre, Laurent Simon
2003	Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.	Sven Baumer, Rainer Schuler
2003	Effective Preprocessing with Hyper-Resolution and Equality Reduction.	Fahiem Bacchus, Jonathan Winter
2003	Abstraction-Driven SAT-based Analysis of Security Protocols.	Alessandro Armando, Luca Compagna

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