Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "10th International Workshop on Satisfiability Modulo Theories"
@proceedings{DBLP:conf/smt/2020, editor = {Fran{\c{c}}ois Bobot and Tjark Weber}, title = {Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris, France), July 5-6, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2854}, publisher = {CEUR-WS.org}, year = {2021} }
@proceedings{DBLP:conf/cade/2012smt, editor = {Pascal Fontaine and Amit Goel}, title = {10th International Workshop on Satisfiability Modulo Theories, {SMT} 2012, Manchester, UK, June 30 - July 1, 2012}, series = {EPiC Series in Computing}, volume = {20}, publisher = {EasyChair}, year = {2013} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.