Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
4 results · clear filters Sort: newest oldest name
- Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (SAT)Computer and information sciencese11r234
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)Computer and information sciencese107k9b
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2009, SAT)Computer and information sciencese107k8d
- International Conference on Theory and Applications of Satisfiability Testing (SAT)Computer and information sciencese107k4n
As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10ahex&country=GB