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 |
|---|---|---|
| 2025 | Analyzing Reformulation Performance in Core-Guided MaxSAT Solving. | Andr Schidler, Stefan Szeider |
| 2025 | Privacy-Preserving SAT Solving (Invited Talk). | Ruzica Piskac |
| 2025 | QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms. | Mark Peyrer, Martina Seidl |
| 2025 | SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints. | Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura |
| 2025 | Symbolic Conflict Analysis in Pseudo-Boolean Optimization. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2025 | Enumerating All Boolean Matches. | Alexander Nadel, Yogev Shalmon |
| 2025 | Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis. | Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns |
| 2025 | An Application of SAT Solvers in Integer Programming Games. | Pravesh Koirala, Aditya Shrey, Forrest Laine |
| 2025 | Towards Practical First-Order Model Counting. | Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel |
| 2025 | Core-Guided Linear Programming-Based Maximum Satisfiability. | George Katsirelos |
| 2025 | Depth-Optimal Quantum Layout Synthesis as SAT. | Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik |
| 2025 | RustSAT: A Library for SAT Solving in Rust. | Christoph Jabs |
| 2025 | Learn to Unlearn. | Bernhard Gstrein, Florian Pollitt, Andr Schidler, Mathias Fleury, Armin Biere |
| 2025 | Random Local Access for Sampling k-SAT Solutions. | Dingding Dong, Nitya Mani |
| 2025 | SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. | Maja Aaslyng Dall, Ral Pardo, Thomas Lumley, Andrzej Wasowski |
| 2025 | Better Extension Variables in DQBF via Independence. | Leroy Chew, Toms Peitl |
| 2025 | Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas. | Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
| 2025 | CNFs and DNFs with Exactly k Solutions. | L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel |
| 2025 | Certifying Projected Knowledge Compilation. | Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule |
| 2025 | An Algebraic Approach to MaxCSP. | Ilario Bonacina, Jordi Levy |
| 2025 | Redundancy Rules for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria |
| 2025 | Semi-Algebraic Proof Systems for QBF. | Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 2025 | Bit-Precise Reasoning with Parametric Bit-Vectors. | Zvika Berger, Yoni Zohar, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2025 | Problem Partitioning via Proof Prefixes. | Zachary Battleman, Joseph E. Reeves, Marijn J. H. Heule |
| 2025 | Efficient Certified Reasoning for Binarized Neural Networks. | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
51–75 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