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 |
|---|---|---|
| 2016 | QBF Encoding of Generalized Tic-Tac-Toe. | Diptarama, Ryo Yoshinaka, Ayumi Shinohara |
| 2016 | Improved Static Symmetry Breaking for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker |
| 2016 | Computing Maximum Unavoidable Subgraphs Using SAT Solvers. | C. K. Cuong, M. J. H. Heule |
| 2016 | Dynamic Programming-based QBF Solving. | Gnther Charwat, Stefan Woltran |
| 2016 | Speeding up the Constraint-Based Method in Difference Logic. | Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2016 | Dependency Schemes in QBF Calculi: Semantics and Soundness. | Joshua Blinkhorn, Olaf Beyersdorff |
| 2016 | Lifting QBF Resolution Calculi to DQBF. | Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda |
| 2016 | The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r. | Daniel Berend, Yochai Twitto |
| 2016 | HordeQBF: A Modular and Massively Parallel QBF Solver. | Toms Balyo, Florian Lonsing |
| 2016 | 2QBF: Challenges and Solutions. | Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton |
| 2016 | Extreme Cases in SAT Problems. | Gilles Audemard, Laurent Simon |
| 2016 | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2016 | ASPQ: An ASP-Based 2QBF Solver. | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
| 2016 | SAT-to-SAT in QBFEval 2016. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2015 | A New Approach to Partial MUS Enumeration. | Christian Zielke, Michael Kaufmann |
| 2015 | Preprocessing for DQBF. | Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker |
| 2015 | QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. | Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang |
| 2015 | PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. | Tobias Philipp, Peter Steinke |
| 2015 | Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. | Chanseok Oh |
| 2015 | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2015 | Exploiting Resolution-Based Representations for MaxSAT Solving. | Miguel Neves, Ruben Martins, Mikols Janota, Ins Lynce, Vasco Manquinho |
| 2015 | SAT-Based Horn Least Upper Bounds. | Carlos Menca, Alessandro Previti, Joo Marques-Silva |
| 2015 | Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. | Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik |
| 2015 | Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. | Florian Lonsing, Uwe Egly |
| 2015 | Computing Maximal Autarkies with Few and Simple Oracle Queries. | Oliver Kullmann, Joo Marques-Silva |
376–400 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