Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
12 results · clear filters Sort: newest oldest name
- 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026Computer and information sciencese11r2bm
- International Conference on Theory and Applications of Satisfiability Testing (SAT)Computer and information sciencess10ahex
- Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025.Computer and information sciencese11p2rx
- 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025Computer and information sciencese11r2ap
- 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024Computer and information sciencese11r29r
- 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Alghero, Italy, July 4-8, 2023Computer and information sciencese11r28t
- 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022Computer and information sciencese11r27w
- Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, ProceedingsComputer and information sciencese11r26y
- Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, ProceedingsComputer and information sciencese11r250
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)Computer and information sciencese107kd3
- International Conference on Theory and Applications of Satisfiability Testing (SAT)Computer and information sciencese107k3q
- Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected PapersComputer and information sciencese11r226
As JSON: https://labs.confref.org/api/search?discipline=Q1350299