Event Beta
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.
- Date
- 2025
- Place
- Glasgow, United Kingdom on the map
- Series
- International Conference on Theory and Applications of Satisfiability Testing, International Workshop on Satisfiability Modulo Theories (SMT), Symposium on Combinatorial Search (SOCS), International Workshop on Pragmatics of SAT (PoS)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- boolean satisfiability problem, satisfiability
- Identifier
https://id.confref.org/event/e11p2rx
Proceedings
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
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.. confref identifier e11p2rx. https://id.confref.org/event/e11p2rx
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.