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 |
|---|---|---|
| 2017 | CNFgen: A Generator of Crafted Benchmarks. | Massimo Lauria, Jan Elffers, Jakob Nordstrm, Marc Vinyals |
| 2017 | The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees. | Peter Lammich |
| 2017 | A Lower Bound on CNF Encodings of the At-Most-One Constraint. | Petr Kucera, Petr Savick, Vojtech Vorel |
| 2017 | MaxPre: An Extended MaxSAT Preprocessor. | Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2017 | A Little Blocked Literal Goes a Long Way. | Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl |
| 2017 | A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2017 | An Adaptive Prefix-Assignment Technique for Symmetry Reduction. | Tommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen |
| 2017 | On Simplification of Formulas with Unconstrained Variables and Quantifiers. | Martin Jons, Jan Strejcek |
| 2017 | Hard Satisfiable Formulas for Splittings by Linear Combinations. | Dmitry Itsykson, Alexander Knop |
| 2017 | On Tackling the Limits of Resolution in SAT Solving. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2017 | Theory Refinement for Program Verification. | Antti E. J. Hyvrinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
| 2017 | New Width Parameters for Model Counting. | Robert Ganian, Stefan Szeider |
| 2017 | Backdoor Treewidth for SAT. | Robert Ganian, M. S. Ramanujan, Stefan Szeider |
| 2017 | PaInleSS: A Framework for Parallel SAT Solving. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2017 | SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. | Johannes Klaus Fichte, Neha Lodha, Stefan Szeider |
| 2017 | Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe |
| 2017 | (I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals. | Eldan Cohen, Guoyu Huang, J. Christopher Beck |
| 2017 | Shortening QBF Proofs with Dependency Schemes. | Joshua Blinkhorn, Olaf Beyersdorff |
| 2017 | On the Community Structure of Bounded Model Checking SAT Problems. | Guillaume Baud-Berthier, Jess Girldez-Cru, Laurent Simon |
| 2017 | A Distributed Version of Syrup. | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary |
| 2017 | Probabilistic Model Counting with Short XORs. | Dimitris Achlioptas, Panos Theodoropoulos |
| 2016 | Deciding Bit-Vector Formulas with mcSAT. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |
| 2016 | Dependency Schemes for DQBF. | Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker |
| 2016 | Non-prenex QBF Solving Using Abstraction. | Leander Tentrup |
| 2016 | Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. | Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli |
326–350 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