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
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 |
|---|---|---|
| 2022 | OptiLog V2: Model, Solve, Tune and Run. | Josep Alos, Carlos Anstegui, Josep M. Salvia, Eduard Torres |
| 2022 | Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. | Pavel Smirnov, Jeremias Berg, Matti Jrvisalo |
| 2022 | Should Decisions in QCDCL Follow Prefix Order? | Benjamin Bhm, Toms Peitl, Olaf Beyersdorff |
| 2021 | Logical Cryptanalysis with WDSat. | Monika Trimoska, Gilles Dequen, Sorina Ionica |
| 2021 | DQBDD: An Efficient BDD-Based DQBF Solver. | Juraj Sc, Jan Strejcek |
| 2021 | Scalable SAT Solving in the Cloud. | Dominik Schreiber, Peter Sanders |
| 2021 | Certified DQBF Solving by Definition Extraction. | Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |
| 2021 | A Proof Builder for Max-SAT. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. | Nicolas Prevot, Mate Soos, Kuldeep S. Meel |
| 2021 | MedleySolver: Online SMT Algorithm Selection. | Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
| 2021 | A Fast Algorithm for SAT in Terms of Formula Length. | Junqiang Peng, Mingyu Xiao |
| 2021 | XOR Local Search for Boolean Brent Equations. | Wojciech Nawrocki, Zhenjun Liu, Andreas Frhlich, Marijn J. H. Heule, Armin Biere |
| 2021 | Proof Complexity of Symbolic QBF Reasoning. | Stefan Mengel, Friedrich Slivovsky |
| 2021 | The MergeSat Solver. | Norbert Manthey |
| 2021 | Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. | Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett |
| 2021 | On the Hierarchical Community Structure of Practical Boolean Formulas. | Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh |
| 2021 | Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. | Martin Mariusz Lester |
| 2021 | Efficient Local Search for Pseudo Boolean Optimization. | Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos |
| 2021 | Projection Heuristics for Binary Branchings Between Sum and Product. | Oliver Kullmann, Oleg Zaikin |
| 2021 | Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. | Stepan Kochemazov, Alexey Ignatiev, Joo Marques-Silva |
| 2021 | Investigating the Existence of Costas Latin Squares via Satisfiability Testing. | Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2021 | SAT-Based Rigorous Explanations for Decision Lists. | Alexey Ignatiev, Joo Marques-Silva |
| 2021 | DiMo - Discrete Modelling Using Propositional Logic. | Norbert Hundeshagen, Martin Lange, Georg Siebert |
| 2021 | Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. | Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang |
| 2021 | Chinese Remainder Encoding for Hamiltonian Cycles. | Marijn J. H. Heule |
176–200 of 937← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations